nLab
Author — Bas Spitters

Overview

Bas Spitters has contributed to 136 nLab pages.

Most recent contributions

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

All pages contributed to