16 citations · 19 across the 3 of their papers we have counts for
3 papers
math.CT2025
Learners are Almost Free Compact Closed
Mitchell Riley
The category of learners has a pleasant symmetric formulation when the morphisms are considered up to a coarser equivalence than the one originally described in the paper "Backprop…
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★ 16 cited
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…