137 citations · 760 across the 53 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
cs.LO2020
The costructure-cosemantics adjunction for comodels for computational effects
Richard Garner
It is well established that equational algebraic theories, and the monads they generate, can be used to encode computational effects. An important insight of Power and Shkaravska i…
math.CT2020
Generalising the étale groupoid--complete pseudogroup correspondence
Robin Cockett, Richard Garner
We prove a generalisation of the correspondence, due to Resende and Lawson--Lenz, between étale groupoids---which are topological groupoids whose source map is a local homeomorphis…
math.CT2020
Cartesian differential categories as skew enriched categories
Richard Garner, Jean-Simon Pacaud Lemay
We exhibit the cartesian differential categories of Blute, Cockett and Seely as a particular kind of enriched category. The base for the enrichment is the category of commutative m…