nLab
homotopy n-types - table

Revised on February 20, 2015 04:41:34 by Anonymous Coward (24.3.19.162)