Mike Shulman has contributed to 2013 nLab pages.
| 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 |
| simplicial type theory | 04:40:54, March 14 2024 |
| formalized libraries of homotopy type theory | 19:32:49, March 11 2024 |
| canonical model structure on 2-categories | 20:06:58, March 08 2024 |
| formalized libraries of homotopy type theory | 01:18:42, March 07 2024 |
| UniMath project | 01:09:29, March 07 2024 |
| homotopy type theory | 01:09:05, March 07 2024 |
| coalgebra for an endofunctor | 22:34:32, February 26 2024 |
| copointed endofunctor | 22:31:36, February 26 2024 |
| pointed endofunctor | 22:31:29, February 26 2024 |
| double category of algebras | 20:46:25, February 26 2024 |
| fibrant type | 22:19:05, February 23 2024 |
| split coequalizer | 22:17:32, February 23 2024 |
| bifibrant object | 19:35:54, February 23 2024 |
| cofibrant object | 19:35:42, February 23 2024 |
| fibrant object | 19:35:01, February 23 2024 |
| distributive category | 01:43:30, February 23 2024 |
| compact closed category | 01:43:09, February 23 2024 |
| biproduct | 00:57:56, February 23 2024 |
| Grothendieck fibration | 23:29:08, February 22 2024 |