You are currently offline. Some features of the site may not work correctly.

Corpus ID: 54177782

A Criterion for Kan Extensions of Lax Monoidal Functors

@article{Fritz2018ACF,
title={A Criterion for Kan Extensions of Lax Monoidal Functors},
author={T. Fritz and P. Perrone},
journal={arXiv: Category Theory},
year={2018}
}

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… CONTINUE READING