137 citations · 760 across the 53 of their papers we have counts for
59 papers
Absolute colimits
Richard Garner, Ross Street
In the context of enriched category theory, we give necessary and sufficient conditions for a module morphism $α\dd M \to \CC(F,Z)$ to exhibit a functor $Z\dd \CA\to \CC$ as an abs…
Stone Duality for Monads
Richard Garner, Alyssa Renata, Nicolas Wu
We introduce a contravariant idempotent adjunction between (i) the category of ranked monads on ; and (ii) the category of internal categories and internal retrofunct…
Cartesian closed varieties I: the classification theorem
Richard Garner
In 1990, Johnstone gave a syntactic characterisation of the equational theories whose associated varieties are cartesian closed. Among such theories are all unary theories -- whose…
Monoidal Kleisli Bicategories and the Arithmetic Product of Coloured Symmetric Sequences
Nicola Gambino, Richard Garner, Christina Vasilakopoulou
We extend the arithmetic product of species of structures and symmetric sequences studied by Maia and Mendez and by Dwyer and Hess to coloured symmetric sequences and show that it…
Functorial aggregation
David I. Spivak, Richard Garner, Aaron David Fairbanks
We study polynomial comonads and polynomial bicomodules. Polynomial comonads amount to categories. Polynomial bicomodules between categories amount to parametric right adjoint func…
Stream processors and comodels
Richard Garner
In 2009, Hancock, Pattinson and Ghani gave a coalgebraic characterisation of stream processors drawing on ideas of Brouwerian constructivism. Their…