Showing math.CTShow all
2 papers · 1 filter
math.CT2018
Monads, partial evaluations, and rewriting
Tobias Fritz, Paolo Perrone
Monads can be interpreted as encoding formal expressions, or formal operations in the sense of universal algebra. We give a construction which formalizes the idea of "evaluating an…
math.CT2018
A Criterion for Kan Extensions of Lax Monoidal Functors
Tobias Fritz, Paolo Perrone
In this mainly expository note, we state a criterion for when a left Kan extension of a lax monoidal functor along a strong monoidal functor can itself be equipped with a lax monoi…