Eric Finster

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A syntax for strictly associative and unital -categories	2025-06-18	Paper
Globular weak -categories as models of a type theory Higher Structures	2025-03-07	Paper
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 Advances in Mathematics	2024-06-27	Paper
Left-exact localizations of $\infty$-topoi. II: Grothendieck topologies Journal of Pure and Applied Algebra	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 Advances in Mathematics	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 Type-Theoretical Definition of Weak {\omega}-Categories (available as arXiv preprint)	2021-01-19	Paper
A generalized Blakers–Massey theorem Journal of Topology	2020-10-16	Paper
Goodwillie's calculus of functors and higher topos theory Journal of Topology	2019-02-07	Paper
Eilenberg-MacLane spaces in homotopy type theory Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)	2018-04-23	Paper
A mechanization of the Blakers-Massey connectivity theorem in homotopy type theory Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science	2018-04-23	Paper
Globular weak $\omega$-categories as models of a type theory (available as arXiv preprint)	N/A	Paper
Computads for weak $\omega$-categories as an inductive type (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Eric Finster