#
nLab

geometry of physics -- quantum mechanics

This is a sub-entry of *geometry of physics*.

# Contents

**Quantum mechanics**

### Model Layer

#### Worldvolumes and cobordisms

#### Spectral triple

### Semantic Layer

#### Internal categories in an $\infty$-topos

##### Simplicial objects in an $\infty$-topos

##### Category objects in an $\infty$-topos

### Syntactic Layer

#### Directed homotopy type theory

Revised on November 1, 2012 17:01:40
by

Urs Schreiber
(131.174.41.102)