Matt Earnshaw has contributed to 55 nLab pages.
| monad with arities | 10:06:41, December 01 2025 |
| lax-idempotent 2-adjunction | 11:19:42, October 28 2025 |
| Bob Walters | 05:23:29, September 19 2025 |
| cartesian multicategory | 07:35:59, September 12 2025 |
| distributivity pullback | 15:01:58, September 11 2025 |
| distributivity pullback | 12:43:05, September 11 2025 |
| Eilenberg-Moore category | 08:41:34, September 11 2025 |
| exponentiable functor | 12:24:39, January 24 2025 |
| exact square | 15:38:56, November 28 2024 |
| exact square | 14:36:30, November 28 2024 |
| profunctor | 14:45:53, November 12 2024 |
| virtual double category | 14:56:35, October 31 2024 |
| span | 14:37:27, October 31 2024 |
| list of category theory papers that never appeared | 09:34:53, September 10 2024 |
| adjoint functor theorem | 14:01:11, September 26 2023 |
| premonoidal category | 09:50:38, September 08 2023 |
| Sandbox | 13:36:41, August 05 2023 |
| William Lawvere | 08:06:40, August 02 2023 |
| lax monoidal category | 12:42:43, July 20 2023 |
| graded set | 10:10:58, June 29 2023 |
| space attachment | 14:37:53, July 31 2018 |
| space attachment | 14:36:25, July 31 2018 |
| tangent bundle | 15:14:30, November 23 2017 |
| tangent bundle | 15:14:30, November 23 2017 |
| essential image | 13:21:17, September 25 2017 |
| category of elements | 13:05:51, September 21 2017 |
| Lindenbaum-Tarski algebra | 10:59:30, July 12 2017 |
| weak omega-category | 12:49:48, July 05 2017 |
| higher category theory | 12:49:42, July 05 2017 |
| path space | 16:43:26, July 01 2017 |