Nicolai Kraus

Publications

• Type-Theoretic Approaches to Ordinals. Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu. 2022.
• Internal ∞-Categorical Models of Dependent Type Theory: Towards 2LTT Eating HoTT. Nicolai Kraus. 2021.
• A Rewriting Coherence Theorem With Applications in Homotopy Type Theory. Nicolai Kraus, Jakob von Raumer. 2021.
• Connecting Constructive Notions of Ordinals in Homotopy Type Theory. Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu. 2021.
• Free Higher Groups in Homotopy Type Theory. Nicolai Kraus, Thorsten Altenkirch. 2020.
• From Cubes to Twisted Cubes via Graph Morphisms in Type Theory. Gun Pinyo, Nicolai Kraus. 2020.
• Coherence via Well-Foundedness: Taming Set-Quotients in Homotopy Type Theory. Nicolai Kraus, Jakob von Raumer. 2020.
• Two-Level Type Theory and Applications. Danil Annenkov, Paolo Capriotti, Nicolai Kraus, Christian Sattler. 2019.
• Path Spaces of Higher Inductive Types in Homotopy Type Theory. Nicolai Kraus, Jakob von Raumer. 2019.
• Univalent Higher Categories via Complete Semi-Segal Types. Paolo Capriotti, Nicolai Kraus. 2017.
• Quotient Inductive-Inductive Types. Thorsten Altenkirch, Paolo Capriotti, Gabe Dijkstra, Nicolai Kraus, Fredrik Nordvall Forsberg. 2017.
• Extending Homotopy Type Theory With Strict Equality. Thorsten Altenkirch, Paolo Capriotti, Nicolai Kraus. 2016.
• The General Universal Property of the Propositional Truncation. Nicolai Kraus. 2015.
• Functions Out of Higher Truncations. Paolo Capriotti, Nicolai Kraus, Andrea Vezzosi. 2015.