Sattler, Christian
- For the Metatheory of Type Theory, Internal Sconing Is Enough
2023/02/10 by Bocquet, Rafaël, Kaposi, Ambrus, Sattler, Christian · 3 citations
#Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO)
- The equivariant model structure on cartesian cubical sets
2024/06/26 by Awodey, Steve, Cavallo, Evan, Coquand, Thierry +2 · 3 citations
#Algebraic Topology (math.AT) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
- The Equivalence Extension Property and Model Structures
2017/04/23 by Sattler, Christian · 1 citation
#Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO)
- Relative elegance and cartesian cubes with one connection
2022/11/27 by Evan Cavallo, Cavallo, Evan, Christian Sattler +1 · 1 citation
Mathematics · Physics and Astronomy · #Homotopy and Cohomology in Algebraic Topology #Advanced Topics in Algebra #Nonlinear Waves and Solitons
- Cubical models of (∞, 1)-categories
2020/05/11 by Brandon Doherty, Chris Kapulkin, Doherty, Brandon +5 · 2 citations
Mathematics · #Homotopy and Cohomology in Algebraic Topology #Algebraic structures and combinatorial models #Advanced Topics in Algebra
- Constructive sheaf models of type theory
2019/12/22 by Coquand, Thierry, Ruch, Fabian, Sattler, Christian · 1 citation
#FOS: Mathematics #Logic (math.LO)
- Free monad sequences and extension operations
2025/04/10 by Sattler, Christian · 1 citation
#Category Theory (math.CT) #FOS: Mathematics