Nicolai Kraus has contributed to 6 nLab pages.
| two-level type theory | 01:48:02, March 10 2020 |
| Initiality Project | 12:11:28, October 09 2018 |
| category object in an (infinity,1)-category | 17:56:08, August 04 2017 |
| Paolo Capriotti | 17:46:49, August 04 2017 |
| Nicolai Kraus | 17:46:07, August 04 2017 |
| geometric realization | 17:00:29, November 11 2014 |