46 citations · 283 across the 29 of their papers we have counts for
8 papers · 1 filter
Autoformalizing the calculation of
Daniel Carranza, Chunyi Liu, Emily Riehl +1
We report our findings and the results of our experiment of autoformalizing the homotopy type theoretic computation of in agda-unimath using Codex.
An -categorical pasting theorem
Philip Hackney, Viktoriya Ozornova, Emily Riehl +1
We show that any pasting diagram in any -category has a homotopically unique composite. This is achieved by showing that the free 2-category generated by a pasting sche…
Homotopical categories: from model categories to -categories
Emily Riehl
This chapter, written for "Stable categories and structured ring spectra," edited by Andrew J. Blumberg, Teena Gerhardt, and Michael A. Hill, surveys the history of homotopical cat…
Directional derivatives and higher order chain rules for abelian functor calculus
Kristine Bauer, Brenda Johnson, Christina Osborne +2
In this paper, we consider abelian functor calculus, the calculus of functors of abelian categories established by the second author and McCarthy. We carefully construct a category…
Coalgebraic models for combinatorial model categories
Michael Ching, Emily Riehl
We show that the category of algebraically cofibrant objects in a combinatorial and simplicial model category A has a model structure that is left-induced from that on A. In partic…
Left-induced model structures and diagram categories
Marzieh Bayeh, Kathryn Hess, Varvara Karpova +3
We prove existence results a la Jeff Smith for left-induced model category structures, of which the injective model structure on a diagram category is an important example. We furt…