Limits for lax morphisms

DOI10.1007/S10485-005-2958-5MaRDI QIDQ816648zbMATH OpenOpenAlexFDO

Authors Stephen Lack

Publication date 23 February 2006

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10485-005-2958-5

zbMATH Keywords

2-monadlax limitlax morphismmonoidal functor

Mathematics Subject Classification ID

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Eilenberg-Moore and Kleisli constructions for monads (18C20) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Review text

The author studies the existence of limits in the 2-category of strict algebras and lax morphisms for a 2-monad. One example is the 2-category of monoidal categories and monoidal functors; another is the 2-category of monoidal categories and opmonoidal functors; and there are many other examples.

Recommendations

• Enhanced 2-categories and limits for lax morphisms
• Codescent objects and coherence
• A general limit lifting theorem for 2-dimensional monad theory
• Two-dimensional monadicity
• Two-dimensional monad theory

Cites work

• Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
• Codescent objects and coherence
• Elementary observations on 2-categorical limits
• scientific article; zbMATH DE number 1129148 (Why is no real title available?)
• scientific article; zbMATH DE number 1389226 (Why is no real title available?)
• scientific article; zbMATH DE number 3305156 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Introduction to bicategories
• Monads on tensor categories
• On the amnestic modification of the category of state property systems
• The formal theory of monads
• Two-dimensional monad theory

Cited in

(27)

• Flexible limits for 2-categories
• Sigma limits in 2-categories and flat pseudofunctors
• A general limit lifting theorem for 2-dimensional monad theory
• Codescent objects and coherence
• Morita contexts as lax functors
• 2-limits and 2-terminal objects are too different
• Bilimits are bifinal objects
• Two-dimensional monadicity
• A 2-categories companion
• Elementary observations on 2-categorical limits
• scientific article; zbMATH DE number 4095730 (Why is no real title available?)
• A multiple category of multiple lax categories
• Lifting PIE limits with strict projections
• The formal theory of multimonoidal monads
• On lax transformations, adjunctions, and monads in (,2)-categories
• A bicategory of decorated cospans
• On effective descent \(\mathcal{V}\)-functors and familial descent morphisms
• Enhanced 2-categories and limits for lax morphisms
• Not every pseudoalgebra is equivalent to a strict one
• On lax limits in -categories
• Amortized analysis via coalgebra
• Coinverters and categories of fractions for categories with structure
• Colax adjunctions and lax-idempotent pseudomonads
• Skew-enriched categories
• A recognition criterion for Lax-idempotent pseudomonads
• Algebraic weak factorisation systems. II: Categories of weak maps.
• Icons

This page was built for publication: Limits for lax morphisms

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