Eric Finster

Available identifiers

zbMath Open finster.ericMaRDI QIDQ2125993

List of research outcomes

Publication	Date of Publication	Type
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	0001-01-03	Paper
Computads for weak $\omega$-categories as an inductive type	0001-01-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Eric Finster