nLab
Author — Matt Earnshaw

Overview

Matt Earnshaw has contributed to 38 nLab pages.

Most recent contributions

space attachment 10:37:53, July 31 2018
space attachment 10:36:25, July 31 2018
tangent bundle 10:14:30, November 23 2017
tangent bundle 10:14:30, November 23 2017
essential image 09:21:17, September 25 2017
category of elements 09:05:51, September 21 2017
Lindenbaum-Tarski algebra 06:59:30, July 12 2017
weak omega-category 08:49:48, July 05 2017
higher category theory 08:49:42, July 05 2017
path space 12:43:26, July 01 2017
Kleisli category 12:01:47, June 22 2017
Sandbox 12:00:32, June 22 2017
Category Theory in Context 11:29:41, June 22 2017
Kleisli category 14:56:37, June 21 2017
smooth algebra 14:42:38, June 14 2017
composition 18:33:55, May 30 2017
exponential object 12:06:12, May 04 2017
proof by contradiction 11:28:21, May 02 2017
mysticism 05:35:08, May 02 2017
structure in model theory 05:50:47, April 25 2017
diagram 17:25:52, April 20 2017
additive category 17:03:07, April 20 2017
abductive reasoning 07:39:09, April 09 2017
limit 16:31:31, April 04 2017
identity of indiscernibles 06:48:05, March 31 2017
Lie derivative 09:29:03, March 23 2017
frame 10:31:51, March 18 2017
topology 13:13:02, January 26 2017
subobject classifier 05:34:49, October 17 2016
general covariance 14:19:29, September 30 2016

All pages contributed to