A Criterion for Kan Extensions of Lax Monoidal Functors

Publication date 27 September 2018

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Abstract: 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`es-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.

This page was built for publication: A Criterion for Kan Extensions of Lax Monoidal Functors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6307387)