3 citations · 3 across the 1 of their papers we have counts for
2 papers
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…
math.CT2018
Categories of Optics
Mitchell Riley
Bidirectional data accessors such as lenses, prisms and traversals are all instances of the same general 'optic' construction. We give a careful account of this construction and sh…