Henry, Simon

1. 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
2. Weak model categories in classical and constructive mathematics
   2018/07/07 by Simon Henry, Henry, Simon · 3 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
3. 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
4. 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
5. 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
6. 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