nLab Author — Ulrik Buchholtz

Overview

Ulrik Buchholtz has contributed to 49 nLab pages.

Most recent contributions

mathematics presented in homotopy type theory 17:24:42, April 06 2024
mathematics presented in homotopy type theory 13:25:09, April 06 2024
mathematics presented in homotopy type theory 12:39:51, April 06 2024
Bohr topos 11:23:00, November 19 2023
domain theory 12:06:56, March 05 2023
set-level foundations 09:06:37, September 01 2022
Peter Haine 11:22:10, September 28 2021
differential cohomology 11:16:41, September 28 2021
covert space 17:01:18, August 29 2021
Hermann Weyl 09:53:56, August 21 2021
free loop space of classifying space 19:53:23, July 11 2021
free loop space of classifying space 06:33:00, July 11 2021
higher monadic descent 11:24:10, July 02 2021
EHP spectral sequence 10:41:08, May 24 2021
Vienna Circle 09:48:26, May 01 2021
New Spaces for Mathematics and Physics 12:37:37, March 23 2021
counterexamples in category theory 17:54:39, March 15 2021
gaunt category 21:02:23, March 03 2021
gaunt category 17:21:21, March 03 2021
finite set 18:50:28, February 22 2021
(infinity,1)-categorification 21:07:47, February 01 2021
field 17:03:38, January 08 2021
dagger category 10:20:07, October 02 2020
univalent foundations for mathematics 13:07:54, August 08 2020
Jesper Michael Møller 10:01:03, July 04 2020
geometry (for structured (infinity,1)-toposes) 17:42:00, May 11 2020
object-oriented programming 08:09:54, April 30 2020
infinity-groupoid 20:57:35, April 01 2020
ordinal analysis 13:20:14, October 01 2019
2-group 13:31:35, September 26 2019

All pages contributed to