MiS Preprint Repository

Delve into the future of research at MiS with our preprint repository. Our scientists are making groundbreaking discoveries and sharing their latest findings before they are published. Explore repository to stay up-to-date on the newest developments and breakthroughs.

MiS Preprint

A Criterion for Kan Extensions of Lax Monoidal Functors

Tobias Fritz and 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 monoidal structure, in a way that results in a left Kan extension in MonCat. This belongs to the general theory of algebraic Kan extensions, as developed by Melliès-Tabareau, Koudenburg and Weber, and is very close to an instance of a theorem of Koudenburg. We find this special case particularly important due to its connections with the theory of graded monads.

Sep 27, 2018
Oct 16, 2018
MSC Codes:
18A30, 18C10, 18D10
Kan extensions, monoidal categories, Monads

Related publications

2018 Repository Open Access
Tobias Fritz and Paolo Perrone

A criterion for Kan extensions of lax monoidal functors