# nLab geometry of physics -- quantum mechanics

This is a sub-entry of geometry of physics.

# Contents

## Quantum mechanics

### Syntactic Layer

#### Directed homotopy type theory

Revised on November 1, 2012 17:01:40 by Urs Schreiber (131.174.41.102)