nLab
geometry of physics -- quantum mechanics

This is a sub-entry of geometry of physics.

---

Quantum mechanics

Model Layer

Worldvolumes and cobordisms

• cobordism

Spectral triple

• spectral triple

Semantic Layer

Internal categories in an $\mathrm{\infty }$-topos

Simplicial objects in an $\mathrm{\infty }$-topos

• simplicial object in an (∞,1)-category

Category objects in an $\mathrm{\infty }$-topos

• Segal condition

• internal category in an (∞,1)-category

Syntactic Layer

Directed homotopy type theory

• directed homotopy type theory