Eric Finster

Identifiers

• name variant Eric Finster 0.60 · backfill

Papers (5)

1. Left exact monoidal localizations from tidy maps math.AT · 2026 · author #3
2. Left-exact Localizations of $\infty$-Topoi III: The Acyclic Product math.CT · 2023 · author #3
3. A Type-Theoretical Definition of Weak {\omega}-Categories cs.LO · 2017 · author #1
4. Goodwillie's Calculus of Functors and Higher Topos Theory math.AT · 2017 · author #3
5. A mechanization of the Blakers-Massey connectivity theorem in Homotopy Type Theory cs.LO · 2016 · author #2

Mentions

• 2308.15573 #3 · arxiv_oai · confidence 0.70 Eric Finster
• 2606.04263 #3 · arxiv_oai · confidence 0.70 Eric Finster

Frequent Coauthors

• Andr\'e Joyal 3 shared papers
• Georg Biedermann 3 shared papers
• Mathieu Anel 3 shared papers
• Dan Licata 1 shared papers
• Kuen-Bang Hou (Favonia) 1 shared papers
• Peter LeFanu Lumsdaine 1 shared papers
• Samuel Mimram 1 shared papers