nLab Author — Matt Earnshaw

Overview

Matt Earnshaw has contributed to 43 nLab pages.

Most recent contributions

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

All pages contributed to