Bas Spitters has contributed to 136 nLab pages.
| 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 |