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}
}
  • T. Fritz, P. Perrone
  • Published 2018
  • Mathematics
  • arXiv: Category Theory
  • 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
    6 Citations
    A Probability Monad as the Colimit of Finite Powers
    • 7
    • PDF
    A Probability Monad as the Colimit of Spaces of Finite Samples
    • 9
    • PDF
    Degrading Lists
    A recipe for black box functors
    • 2
    • PDF

    References

    SHOWING 1-10 OF 10 REFERENCES
    Towards a Formal Theory of Graded Monads
    • 28
    • Highly Influential
    • PDF
    Operads revisited
    • 9
    • PDF
    Algebraic Kan extensions along morphisms of internal algebra classifiers
    • 16
    • PDF
    Free models of T-algebraic theories computed as Kan extensions
    • 14
    • Highly Influential
    A Probability Monad as the Colimit of Finite Powers
    • 7
    • PDF
    Constructing Applicative Functors
    • 18
    • PDF
    Operads revisited. In Algebra, Arithmetic, and Geometry, volume I, pages 675–698
    • 2010