• DML-CZ Home

18N60 

• Christensen, J. Daniel; Flaten, Jarl G. Taxerås: Ext groups in Homotopy Type Theory. (English). Higher Structures, vol. 9 (2025), issue 2, pp. 17-61
• Henry, Simon; Meadows, Nicholas J.: Higher theories and monads. (English). Higher Structures, vol. 9 (2025), issue 1, pp. 227-268
• Uemura, Taichi; Nguyen, Hoang Kim: $\infty$-type theories. (English). Higher Structures, vol. 9 (2025), issue 1, pp. 179-226
• Stoll, Robin: Functor calculus via non-cubes. (English). Higher Structures, vol. 8 (2024), issue 2, pp. 70-135
• Rasekh, Nima: Cartesian Fibrations of Complete Segal Spaces. (English). Higher Structures, vol. 7 (2023), issue 1, pp. 40-73
• Buchholtz, Ulrik; Weinberger, Jonathan: Synthetic fibered $(\infty,1)$-category theory. (English). Higher Structures, vol. 7 (2023), issue 1, pp. 74-165
• Nárožný, Jiří: Generalised Atiyah’s theory of principal connections. (English). Archivum Mathematicum, vol. 58 (2022), issue 4, pp. 241-256