A general limit lifting theorem for 2-dimensional monad theory

DOI10.1016/J.JPAA.2017.09.018MaRDI QIDQ1743022zbMATH OpenOpenAlexFDO

Authors Martín Szyld

Publication date 12 April 2018

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1702.03303

Mathematics Subject Classification ID

Abstract: We give a definition of weak morphism of $T$-algebras, for a $2$-monad $T$, with respect to an arbitrary family $Omega$ of $2$-cells of the base $2$-category. By considering particular choices of $Omega$, we recover the concepts of lax, pseudo and strict morphisms of $T$-algebras. We give a general notion of weak limit, and define what it means for such a limit to be compatible with another family of $2$-cells. These concepts allow us to prove a limit lifting theorem which unifies and generalizes three different previously known results of $2$-dimensional monad theory. Explicitly, by considering the three choices of $Omega$ above our theorem has as corollaries the lifting of oplax (resp. $sigma$, which generalizes lax and pseudo, resp. strict) limits to the $2$-categories of lax (resp. pseudo, resp. strict) morphisms of $T$-algebras.

Recommendations

• Two-dimensional monadicity
• On the formal theory of pseudomonads and pseudodistributive laws
• Limits for lax morphisms
• Two-dimensional monad theory
• The weak theory of monads

Cites work

• Elementary observations on 2-categorical limits
• Enhanced 2-categories and limits for lax morphisms
• Formal category theory: Adjointness for 2-categories
• scientific article; zbMATH DE number 3522194 (Why is no real title available?)
• Kan extensions in enriched category theory
• Limits for lax morphisms
• Limits indexed by category-valued 2-functors
• The formal theory of monads
• Two-dimensional monad theory

Cited in

(11)

• Two-dimensional monad theory
• Bilimits are bifinal objects
• Two-dimensional monadicity
• Lifting PIE limits with strict projections
• The linear-non-linear substitution 2-monad
• Generalising Conduché's theorem
• Enhanced 2-categories and limits for lax morphisms
• Pointwise Kan extensions along 2-fibrations and the 2-category of elements
• Idempotent splittings, colimit completion, and weak aspects of the theory of monads
• Limits for lax morphisms
• The weak theory of monads

This page was built for publication: A general limit lifting theorem for 2-dimensional monad theory

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