Mike Shulman has contributed to 2038 nLab pages.
| modal type theory | 17:15:57, March 25 2026 |
| flat functor | 20:25:20, December 19 2025 |
| free coproduct completion | 08:51:30, December 17 2025 |
| category with class structure | 20:00:56, November 27 2025 |
| double category of algebras | 17:38:06, November 21 2025 |
| double category of algebras | 17:10:25, November 18 2025 |
| infinitary algebraic theory | 19:55:08, November 17 2025 |
| 2-categorical logic | 03:15:42, November 12 2025 |
| effect algebra | 17:06:13, October 30 2025 |
| filtered category | 16:01:21, October 04 2025 |
| cocartesian multicategory | 08:02:40, September 19 2025 |
| cocartesian multicategory | 07:00:05, September 19 2025 |
| quasi-pullback | 03:03:37, September 19 2025 |
| heap | 02:03:42, September 19 2025 |
| double fibration | 23:41:04, September 15 2025 |
| cartesian object | 21:33:10, September 15 2025 |
| symmetric multicategory | 06:19:52, September 10 2025 |
| locally | 03:58:30, September 10 2025 |
| Reid William Barton | 15:44:42, September 07 2025 |
| ETCC | 17:22:34, September 02 2025 |
| type theory | 17:28:08, September 01 2025 |
| pre-net | 18:34:02, August 23 2025 |
| virtual double category | 07:22:59, July 15 2025 |
| polynomial functor | 01:37:53, July 15 2025 |
| Mike Shulman | 01:08:47, June 10 2025 |
| full image | 22:35:01, May 20 2025 |
| linearly distributive category | 00:21:21, May 07 2025 |
| inductive family | 20:09:25, April 25 2025 |
| monadic functor | 18:59:36, April 24 2025 |
| combinatory logic | 17:29:50, February 13 2025 |