nLab
homotopy n-types - table

Revised on March 9, 2014 23:31:23 by Urs Schreiber (89.204.139.55)