The following pages link to Eric Finster (Q2125993):
Displayed 12 items.
- Left-exact localizations of \(\infty\)-topoi. I: Higher sheaves (Q2125994) (← links)
- Goodwillie's calculus of functors and higher topos theory (Q4620059) (← links)
- Eilenberg-MacLane spaces in homotopy type theory (Q4635651) (← links)
- A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory (Q4635917) (← links)
- A generalized Blakers–Massey theorem (Q5126439) (← links)
- A Type-Theoretical Definition of Weak {\omega}-Categories (Q5144671) (← links)
- Left-exact localizations of \(\infty\)-topoi. II: Grothendieck topologies (Q6057732) (← links)
- Synthetic Spectra via a Monadic and Comonadic Modality (Q6360099) (← links)
- Types are Internal $\infty$-Groupoids (Q6366549) (← links)
- A Type Theory for Strictly Associative Infinity Categories (Q6376778) (← links)
- Strictly Associative and Unital $\infty$-Categories as a Generalized Algebraic Theory (Q6426060) (← links)
- Left-exact Localizations of $\infty$-Topoi III: The Acyclic Product (Q6449116) (← links)