Matt Earnshaw has contributed to 48 nLab pages.
| 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 |
| Kleisli category | 16:01:47, June 22 2017 |
| Sandbox | 16:00:32, June 22 2017 |
| Category Theory in Context | 15:29:41, June 22 2017 |
| Kleisli category | 18:56:37, June 21 2017 |
| C^∞-ring | 18:42:38, June 14 2017 |
| composition | 22:33:55, May 30 2017 |
| exponential object | 16:06:12, May 04 2017 |
| proof by contradiction | 15:28:21, May 02 2017 |