Eric Finster

Publications

  1. Left-exact Localizations of ∞-Topoi III: The Acyclic Product
    Transactions of the American Mathematical Society
    DOI
  2. Globular weak ω-categories as models of a type theory
    Higher Structures, 2024
    DOI
  3. A Syntax for Strictly Associative and Unital ∞-Categories
    LICS 2024
    DOI
  4. Computads for weak ω-categories as an inductive type
    Advances in Mathematics, 2024
    DOI
  5. Left-exact localizations of ∞-topoi II: Grothendieck topologies
    Journal of Pure and Applied Algebra, 2024
    DOI
  6. A type theory for strictly unital ∞-categories
    LICS 2022
    DOI
  7. Left-exact localizations of ∞-topoi I: Higher sheaves
    Advances in Mathematics, 2022
    DOI
  8. A cartesian bicategory of polynomial functors in homotopy type theory
    MFPS 2021
    DOI
  9. Types are internal ∞-groupoids
    LICS 2021
    DOI
  10. A generalized Blakers–Massey theorem
    Journal of Topology, 2020
    DOI
  11. Goodwillie's calculus of functors and higher topos theory
    Journal of Topology, 2018
    DOI
  12. A type-theoretical definition of weak ω-categories
    LICS 2017
    DOI
  13. A Mechanization of the Blakers–Massey Connectivity Theorem in Homotopy Type Theory
    LICS 2016
    DOI
  14. Eilenberg-MacLane spaces in homotopy type theory
    LICS 2014
    DOI

Preprints

  1. Left exact monoidal localizations from tidy maps
    arXiv
    DOI
  2. Synthetic Spectra via a Monadic and Comonadic Modality
    arXiv
    DOI

Notes

Thesis