Not every pseudoalgebra is equivalent to a strict one

DOI10.1016/J.AIM.2011.01.010zbMath1242.18010arXiv1005.1520OpenAlexW1991804056MaRDI QIDQ664768

Michael Shulman

Publication date: 2 March 2012

Published in: Advances in Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

2-monadtricategorypseudoalgebracoherence theoremlocally finitely presentable

Mathematics Subject Classification ID

Enriched categories (over closed or monoidal categories) (18D20) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (5)

The DG-category of secondary cohomology operations ⋮ Weak units, universal cells, and coherence via universality for bicategories ⋮ Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures ⋮ How strict is strictification? ⋮ Contravariance through enrichment

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Enhanced 2-categories and limits for lax morphisms
• Coinverters and categories of fractions for categories with structure
• Limits for lax morphisms
• Limits of small functors
• Icons
• A general coherence result
• Two-dimensional monad theory
• Braided tensor categories
• A coherent approach to pseudomonads
• Codescent objects and coherence
• Distributive laws for pseudomonads. II
• 2-nerves for bicategories
• The formal theory of monads
• A 2-Categories Companion
• The low-dimensional structures formed by tricategories
• Coherence for tricategories

This page was built for publication: Not every pseudoalgebra is equivalent to a strict one