2 papers
cs.LO2026
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…
math.CT2025
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…