David Carchedi has contributed to 10 nLab pages.
| étale homotopy | 23: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 |