Showing math.CTShow all
2 papers · 1 filter
math.CT2025
Cauchy density
Adrián Doña Mateo
In the paper where he defined the Cauchy completion of a -category, Lawvere also defined a condition on a -functor which made it analogous to a map of met…
math.CT2025
Pushforward monads
Adrián Doña Mateo
Given a monad on and a functor , one can construct a monad on subject to the existence of a certain Ka…