nLab Author — Bas Spitters

Overview

Bas Spitters has contributed to 136 nLab pages.

Most recent contributions

convenient category of topological spaces 15:43:03, March 13 2021
countable choice 12:59:32, March 13 2021
M-type 18:21:08, February 11 2020
modal type theory 12:42:41, February 01 2020
topological site 08:32:58, November 15 2019
Johnstone's topological topos 14:22:37, September 26 2019
topological site 09:14:54, September 26 2019
eta-conversion 11:39:24, September 23 2019
inductive-inductive type 14:39:57, May 16 2019
categorical semantics of dependent type theory 13:09:20, April 23 2019
geometric homotopy type theory 12:27:39, April 19 2019
geometric type theory 12:26:30, April 19 2019
cartesian logic 12:30:54, April 18 2019
cubical type theory 15:35:51, April 15 2019
M-type 14:23:59, February 17 2019
cubical type theory 11:24:19, February 15 2019
cubical-type model category 10:37:13, February 15 2019
cubical type theory 08:36:32, February 15 2019
cubical-type model category 08:35:09, February 15 2019
cubical type theory 17:34:55, February 06 2019
Johnstone's topological topos 09:16:55, January 29 2019
(infinity,1)-topos 12:08:57, January 16 2019
valuation (measure theory) 15:21:18, January 15 2019
free topos 14:58:27, January 09 2019
synthetic probability theory 12:49:17, October 30 2018
measurable locale 12:45:19, October 30 2018
essentially algebraic theory 09:24:34, October 12 2018
higher inductive type 11:57:30, October 10 2018
double-negation shift 14:14:59, July 17 2018
monoidal topos 14:28:18, July 07 2018

All pages contributed to