Concept Explorer
The concept
knowledge graph.
Select a concept to see its mathematical object, a precise statement, its assumptions, its scope and the matching source in the current foundations. The same records are used on the mathematics page.
Primitive
Phase Differential (Δϕ)
Phase is assigned to comparisons and composes: . A difference of vertex phases is the restricted case whose loop phases all equal 1.
Mathematical object
A phase functor on a groupoid of comparisons.
Assumptions
A0 to A2: distinctions, circle phase and coherent comparison.
Scope
Structural; no distance, clock or embedding is included.
Current foundations
Earlier paper, for historical context: PTG I
Related concepts