Eric Finster

1. A mechanization of the Blakers-Massey connectivity theorem in Homotopy Type Theory
   2016/05/10 by Kuen-Bang Hou, Eric Finster, Hou, Kuen-Bang +5 · 4 citations
   Computer Science · Mathematics · #03B15 (Higher-order logic and type theory) #03B70 (Logic in computer science) #55U35 (Abstract and axiomatic homotopy theory) #Algebraic Topology (math.AT) #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Geometric and Algebraic Topology #Homotopy and Cohomology in Algebraic Topology #Logic in Computer Science (cs.LO) #Logic, programming, and type systems
2. Left-exact Localizations of ∞-Topoi II: Grothendieck Topologies
   2022/01/04 by Mathieu Anel, Georg Biedermann, Anel, Mathieu +5 · 1 citation
   Mathematics · #Homotopy and Cohomology in Algebraic Topology #Rings, Modules, and Algebras #Advanced Topology and Set Theory