Eric Finster

Available identifiers

Publication	Date of Publication	Type
A Cartesian bicategory of polynomial functors in homotopy type theory	2024-12-17	Paper
A type theory for strictly unital $\infty $-categories	2024-12-06	Paper
Computads for weak $\omega $-categories as an inductive type	2024-06-27	Paper
Left-exact localizations of $\infty$-topoi. II: Grothendieck topologies	2023-10-26	Paper
Left-exact Localizations of $\infty$-Topoi III: The Acyclic Product	2023-08-29	Paper
Strictly Associative and Unital $\infty$-Categories as a Generalized Algebraic Theory	2023-02-10	Paper
Left-exact localizations of $\infty$-topoi. I: Higher sheaves	2022-04-14	Paper
A Type Theory for Strictly Associative Infinity Categories	2021-09-03	Paper
Types are Internal $\infty$-Groupoids	2021-04-30	Paper
Synthetic Spectra via a Monadic and Comonadic Modality	2021-02-08	Paper
A Type-Theoretical Definition of Weak {\omega}-Categories	2021-01-19	Paper
A generalized Blakers–Massey theorem	2020-10-16	Paper
Goodwillie's calculus of functors and higher topos theory	2019-02-07	Paper
Eilenberg-MacLane spaces in homotopy type theory	2018-04-23	Paper
A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory	2018-04-23	Paper
Globular weak $\omega$-categories as models of a type theory	N/A	Paper
Computads for weak $\omega$-categories as an inductive type	N/A	Paper

This page was built for person: Eric Finster