Controlled vocabulary for the Quasicrystalline Hypertensor Topos. Each term is defined as it appears in the specification.
Entries
- Trace category — the small category of finite traces and admissible normalizations (Axiom A0)
- Recognition fiber — fiberwise Heyting-modal algebra assigned to each trace (Axiom A1)
- Stabilizer — monotone endomorphism implementing stabilization dynamics (Axiom A2)
- Grothendieck topology — coverage regulating sheaf gluing on the trace site (Axiom A3)
- Hypertensor product — monoidal operation on recognition fibers induced by trace concatenation (Axiom A4)
- Generative closure — iterated closure operator whose least fixed point is the topos (Axiom A5)
- Quasicrystalline order — aperiodic long-range order in the global organization of the topos
- Sheaf universe — the sheaf topos over the trace site