3 citations · 3 across the 2 of their papers we have counts for
Showing math.CTShow all
2 papers · 1 filter
math.CT2021
A Type Theory for Strictly Associative Infinity Categories
Eric Finster, Alex Rice, Jamie Vicary
Many definitions of weak and strict -categories have been proposed. In this paper we present a definition for -categories with strict associators, but which is othe…
math.CT2021★ 3 cited
Synthetic Spectra via a Monadic and Comonadic Modality
Mitchell Riley, Eric Finster, Daniel R. Licata
We extend Homotopy Type Theory with a novel modality that is simultaneously a monad and a comonad. Because this modality induces a non-trivial endomap on every type, it requires a…