302 citations · 2.7k across the 73 of their papers we have counts for
Showing 2018 · math.CTShow all
2 papers · 2 filters
math.CT2018★ 8 cited
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★ 3 cited
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…