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
Left-exact localizations of -topoi. III: The acyclic product Transactions of the American Mathematical Society	2026-08-19	Paper
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 -categories	2024-12-06	Paper
Computads for weak -categories as an inductive type Advances in Mathematics	2024-06-27	Paper
Left-exact localizations of -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 (available as arXiv preprint)	2021-01-19	Paper
A Type-Theoretical Definition of Weak {\omega}-Categories	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
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
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
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