nLab
Chris Heunen
Skip the Navigation Links

Home Page

All Pages

Recently Revised

Authors

Feeds

Export

website
category:
people
Created on October 20, 2010 12:59:19 by
Urs Schreiber
(87.212.203.135)
Edit
 Views:
Print

TeX

Source
 Linked from:
higher category theory and physics
,
Cstaralgebra
,
constructive Gelfand duality theorem
,
poset of commutative subalgebras
,
quantum logic
,
Bohr topos
,
ordertheoretic structure in quantum mechanics
,
daseinisation