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 |