6 citations · 7 across the 2 of their papers we have counts for
4 papers · 1 filter
Presentations and algebraic colimits of enriched monads for a subcategory of arities
Rory B. B. Lucyshyn-Wright, Jason Parker
We develop a general framework for studying signatures, presentations, and algebraic colimits of enriched monads for a subcategory of arities, even when the base of enrichment $\ma…
Tangent Categories from the Coalgebras of Differential Categories
Robin Cockett, Jean-Simon Pacaud Lemay, Rory B. B. Lucyshyn-Wright
Following the pattern from linear logic, the coKleisli category of a differential category is a Cartesian differential category. What then is the coEilenberg-Moore category of a di…
Affine geometric spaces in tangent categories
R. F. Blute, G. S. H. Cruttwell, R. B. B. Lucyshyn-Wright
We continue the program of structural differential geometry that begins with the notion of a tangent category, an axiomatization of structural aspects of the tangent functor on the…
Derivations in Codifferential Categories
Richard Blute, Rory B. B. Lucyshyn-Wright, Keith O'Neill
Derivations provide a way of transporting ideas from the calculus of manifolds to algebraic settings where there is no sensible notion of limit. In this paper, we consider derivati…