• DML-CZ Home
• Higher Structures

Author: Buchholtz, Ulrik

• Buchholtz, Ulrik; Weinberger, Jonathan: Synthetic fibered $(\infty,1)$-category theory. (English). Higher Structures, vol. 7 (2023), issue 1, pp. 74-165
• Buchholtz, Ulrik; Rijke, Egbert: The Cayley-Dickson Construction in Homotopy Type Theory. (English). Higher Structures, vol. 2 (2018), issue 1, pp. 30-41