David Corfield has contributed to 2675 nLab pages.
| geometric Langlands correspondence | 07:33:59, August 28 2025 |
| Evan Patterson | 13:24:09, August 26 2025 |
| doctrine | 13:23:35, August 26 2025 |
| category-theoretic approaches to probability theory | 09:44:45, August 20 2025 |
| analytic versus synthetic | 09:30:43, August 20 2025 |
| filter quotient | 09:05:03, August 20 2025 |
| Nima Rasekh | 08:52:15, August 20 2025 |
| homotopy type theory | 08:46:26, August 20 2025 |
| prequantum field theory | 18:23:10, August 19 2025 |
| Sophie Libkind | 14:12:06, August 19 2025 |
| David Jaz Myers | 14:09:16, August 19 2025 |
| differential cohomology | 14:17:17, August 11 2025 |
| orthogonal factorization system in an (infinity,1)-category | 07:59:46, August 01 2025 |
| Rune Haugseng | 16:05:41, July 30 2025 |
| factorization algebra | 14:59:15, July 24 2025 |
| Open problems in topos theory | 10:41:22, July 24 2025 |
| William Lawvere | 10:38:59, July 24 2025 |
| discrete homotopy theory | 09:11:19, July 17 2025 |
| conceptual completeness | 09:05:38, July 17 2025 |
| homotopy theory | 08:15:24, July 17 2025 |
| ultracategory | 16:50:46, July 16 2025 |
| Umberto Tarantino | 16:50:15, July 16 2025 |
| virtual double category | 12:00:17, July 15 2025 |
| comprehensive factorization system | 12:47:04, July 11 2025 |
| Jaco Ruit | 09:02:33, July 11 2025 |
| (infinity,2)-category | 09:00:41, July 11 2025 |
| ultracategory | 08:38:08, July 11 2025 |
| Soichiro Fujii | 08:33:50, July 09 2025 |
| Stephen Lack | 08:33:19, July 09 2025 |
| enriched category | 08:31:24, July 09 2025 |