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 |