nLab
Author — Colin Zwanziger

Overview

Colin Zwanziger has contributed to 75 nLab pages.

Most recent contributions

graph of a functor 18:04:43, December 25 2020
point of a topos 22:45:22, October 25 2020
pointed endofunctor 13:02:50, March 08 2020
Colin Zwanziger 00:53:18, May 23 2019
posite 16:49:17, November 06 2018
category of G-sets 15:49:19, October 03 2018
univalence axiom 19:27:28, September 16 2018
string diagram 10:55:51, July 04 2018
NuPRL 12:57:35, March 05 2018
ionad 20:21:49, February 17 2018
ionad 16:56:30, February 17 2018
étale space 01:01:16, February 03 2018
formally étale morphism 00:32:09, February 03 2018
étale topos 00:31:06, February 03 2018
étale cohomology 00:30:29, February 03 2018
étale geometric morphism 00:29:43, February 03 2018
étale map 00:29:09, February 03 2018
étale space 00:27:59, February 03 2018
formally étale morphism 18:42:54, February 02 2018
modal type theory 11:27:57, April 23 2017
elementary (infinity,1)-topos 20:13:54, April 16 2017
elementary (infinity,1)-topos 19:31:55, April 16 2017
dependent type theoretic methods in natural language semantics 00:57:59, October 29 2015
Homotopy Type System 01:04:14, October 13 2015
Hartogs number 14:27:45, September 24 2015
Hartogs number 11:22:43, September 23 2015
Hartogs number 00:25:16, September 23 2015
syntactic category 13:02:57, August 19 2015
Rel 17:51:18, May 09 2015
linguistics 21:01:27, April 01 2015

All pages contributed to