Mike Shulman has contributed to 2030 nLab pages.
| combinatory logic | 17:29:50, February 13 2025 |
| groupoid cardinality | 16:09:14, February 01 2025 |
| category of elements | 00:10:23, January 31 2025 |
| contrapositive | 08:35:56, January 28 2025 |
| inequality | 08:34:31, January 28 2025 |
| family fibration | 18:16:45, January 27 2025 |
| family | 18:16:38, January 27 2025 |
| codomain fibration | 18:11:27, January 27 2025 |
| disjoint coproduct | 18:08:08, January 27 2025 |
| intersection | 17:42:36, January 27 2025 |
| tensorial strength | 00:25:29, January 24 2025 |
| well-founded coalgebra | 22:35:22, January 07 2025 |
| homotopy hypothesis | 18:34:06, December 03 2024 |
| constructive mathematics | 01:34:17, December 03 2024 |
| k-morphism | 07:02:37, October 17 2024 |
| Initiality Project - Type Theory | 14:59:27, October 11 2024 |
| k-morphism | 16:32:10, October 10 2024 |
| protomodular category | 18:41:13, September 05 2024 |
| Malcev category | 18:38:02, September 05 2024 |
| scheme | 00:16:42, September 05 2024 |
| categorical semantics of dependent type theory | 18:38:18, June 06 2024 |
| synthetic algebraic geometry | 04:26:05, May 24 2024 |
| definitional isomorphism | 18:15:42, May 17 2024 |
| Narya | 18:14:16, May 17 2024 |
| record type | 18:11:10, May 17 2024 |
| equivalence type | 18:09:46, May 17 2024 |
| one-to-one correspondence | 18:08:16, May 17 2024 |
| two-valued topos | 20:51:49, May 14 2024 |
| polycategory | 00:02:18, May 03 2024 |
| observational type theory | 21:01:11, April 30 2024 |