Mike Shulman has contributed to 2025 nLab pages.
| 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 |
| higher observational type theory | 21:01:00, April 30 2024 |
| (n,r)-category | 01:57:31, April 30 2024 |
| empty type | 01:49:15, April 30 2024 |
| conservative cocompletion | 18:53:32, April 24 2024 |
| star-autonomous category | 01:49:15, April 24 2024 |
| univalence axiom | 01:47:28, April 24 2024 |
| canonical form | 01:05:39, April 20 2024 |
| cartesian bicategory | 05:45:45, April 16 2024 |
| deductive system | 02:09:34, April 11 2024 |
| eta-conversion | 02:09:08, April 11 2024 |
| beta-reduction | 02:08:30, April 11 2024 |
| real numbers object | 23:58:16, April 10 2024 |
| uniform locale | 23:30:23, March 29 2024 |
| linearly distributive category | 00:44:07, March 19 2024 |