Matt Earnshaw has contributed to 43 nLab pages.
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 |
mysticism | 09:35:08, May 02 2017 |
structure in model theory | 09:50:47, April 25 2017 |
diagram | 21:25:52, April 20 2017 |
additive category | 21:03:07, April 20 2017 |
abductive reasoning | 11:39:09, April 09 2017 |
limit | 20:31:31, April 04 2017 |