Ulrik Buchholtz has contributed to 49 nLab pages.
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 |