nLab
Author — Mike Shulman

Overview

Mike Shulman has contributed to 1953 nLab pages.

Most recent contributions

New Foundations 16:32:10, September 17 2021
axiom of separation 16:31:33, September 17 2021
axiom of full comprehension 16:30:08, September 17 2021
paraconsistent logic 16:15:21, September 17 2021
1-category equipped with relations 16:15:55, September 13 2021
augmented virtual double category 15:51:47, September 10 2021
elementary (infinity,1)-topos 11:09:08, September 03 2021
explicit substitution 15:34:27, August 27 2021
elementary (infinity,1)-topos 11:44:40, August 27 2021
coherent hyperdoctrine 16:42:54, August 18 2021
regular hyperdoctrine 16:32:26, August 18 2021
hyperdoctrine 16:20:29, August 18 2021
W-type 13:07:47, August 15 2021
inductive type 11:32:36, August 13 2021
W-type 11:32:23, August 13 2021
virtual double category 04:13:42, July 29 2021
axiom of replacement 14:19:12, July 20 2021
epimorphism in an (infinity,1)-category 11:38:24, July 10 2021
closed bicategory 11:43:17, July 07 2021
bicategory 11:41:26, July 07 2021
elementary (infinity,1)-topos 08:14:05, July 06 2021
empty set 09:26:16, July 02 2021
disjunctive logic 13:45:04, June 30 2021
lax natural transformation 08:21:59, June 28 2021
uniform locale 00:20:32, June 10 2021
adhesive category 23:37:48, June 01 2021
higher inductive type 13:25:11, May 30 2021
plus construction on presheaves 14:40:54, May 28 2021
plus construction on presheaves 13:10:39, May 28 2021
Niles Johnson 11:13:30, May 28 2021

All pages contributed to