Simon Henry
- Algebraic models of homotopy types and the homotopy hypothesis
2016/09/15 by Simon Henry, Henry, Simon · 2 citations
Mathematics · #18G30 #55U35 #Advanced Topics in Algebra #Algebraic Topology (math.AT) #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology
- Weak model categories in classical and constructive mathematics
2018/07/07 by Simon Henry, Henry, Simon · 4 citations
Mathematics · #18G30 #55U35 #55U40 #Advanced Topics in Algebra #Algebraic Topology (math.AT) #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology
- An abstract elementary class non-axiomatizable in L(∞,κ)
2018/12/03 by Simon Henry, Henry, Simon · 1 citation
Mathematics · Medicine · #Homotopy and Cohomology in Algebraic Topology #Advanced Topology and Set Theory #Intracranial Aneurysms: Treatment and Complications
- Higher Theories and Monads
2021/06/04 by Simon Henry, Henry, Simon, Nicholas J. Meadows +1 · 1 citation
Mathematics · #Homotopy and Cohomology in Algebraic Topology #Algebraic structures and combinatorial models
- A constructive account of the Kan-Quillen model structure and of Kan's\n Ex\∞ functor
2019/05/15 by Simon Henry, Henry, Simon · 1 citation
Computer Science · Mathematics · #18G30 #55U35 #55U40 #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO) #Logic, programming, and type systems
- A Geometric Bohr topos
2015/02/06 by Simon Henry, Henry, Simon · 1 citation
Mathematics · Physics and Astronomy · #Advanced Operator Algebra Research #Advanced Topics in Algebra #Category Theory (math.CT) #FOS: Mathematics #Operator Algebras (math.OA) #Quantum Mechanics and Applications
- Rewriting and presentations of quasicategories
2026/08/03 by Simon Henry
Mathematics · #math.CT