David Corfield has contributed to 2480 nLab pages.
| differentiation | 16:42:40, March 22 2023 |
| applications of double category theory | 06:53:45, March 22 2023 |
| David Carchedi | 12:23:07, March 21 2023 |
| derived smooth manifold | 12:22:27, March 21 2023 |
| cobordism | 08:09:25, March 19 2023 |
| cobordism hypothesis | 17:18:08, March 18 2023 |
| tangle hypothesis | 17:17:40, March 18 2023 |
| Nils Carqueville | 08:41:59, March 18 2023 |
| swampland cobordism conjecture -- references | 08:40:15, March 18 2023 |
| epistemic modal logic | 17:00:37, March 17 2023 |
| epistemic modal logic | 12:49:45, March 17 2023 |
| epistemic modal logic | 11:48:11, March 17 2023 |
| epistemic modal logic | 11:29:34, March 17 2023 |
| epistemic modal logic | 09:05:20, March 17 2023 |
| Martin-Löf dependent type theory | 21:35:52, March 16 2023 |
| manifold-diagrammatic n-category | 12:30:18, March 14 2023 |
| applied category theory | 11:59:39, March 13 2023 |
| stratified homotopy hypothesis | 11:40:49, March 13 2023 |
| directed homotopy type theory | 11:26:35, March 13 2023 |
| Peter Haine | 11:03:46, March 13 2023 |
| poset-stratified space | 11:02:28, March 13 2023 |
| quasi-limit | 09:29:24, March 13 2023 |
| differential category | 08:24:42, March 12 2023 |
| 2-topos | 12:36:52, March 10 2023 |
| (infinity,2)-topos | 09:15:29, March 10 2023 |
| Euler characteristic | 11:47:35, March 07 2023 |
| groupoid cardinality | 11:43:52, March 07 2023 |
| Mike Shulman | 09:55:00, March 07 2023 |
| category theory and foundations | 09:53:44, March 07 2023 |
| modal type theory | 09:51:58, March 07 2023 |