nLab
Author — David Carchedi

Overview

David Carchedi has contributed to 10 nLab pages.

Most recent contributions

étale homotopy 18:12:10, December 12 2015
Haefliger theorem 10:32:34, August 31 2014
discrete fibration 10:32:34, August 31 2014
discrete fibration 10:32:33, August 31 2014
homotopy Kan extension 10:32:02, August 31 2014
C^∞-ring 10:31:46, August 31 2014
(infinity,1)-quasitopos 10:30:27, August 31 2014
(infinity,1)-site 10:30:27, August 31 2014
topological stack 10:30:03, August 31 2014
reflective sub-(infinity,1)-category 10:30:03, August 31 2014
generalized multicategory 10:30:02, August 31 2014

All pages contributed to