Not every pseudoalgebra is equivalent to a strict one

DOI10.1016/J.AIM.2011.01.010MaRDI QIDQ664768zbMATH OpenOpenAlexFDO

Authors 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

pseudoalgebratricategory2-monadcoherence theoremlocally finitely presentable

Mathematics Subject Classification ID

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

Abstract: We describe a finitary 2-monad on a locally finitely presentable 2-category for which not every pseudoalgebra is equivalent to a strict one. This shows that having rank is not a sufficient condition on a 2-monad for every pseudoalgebra to be strictifiable. Our counterexample comes from higher category theory: the strict algebras are strict 3-categories, and the pseudoalgebras are a type of semi-strict 3-category lying in between Gray-categories and tricategories. Thus, the result follows from the fact that not every Gray-category is equivalent to a strict 3-category, connecting 2-categorical and higher-categorical coherence theory. In particular, any nontrivially braided monoidal category gives an example of a pseudoalgebra that is not equivalent to a strict one.

Recommendations

• Pseudoalgebras and non-canonical isomorphisms
• Pseudo-commutative monads and pseudo-closed 2-categories
• Beck's theorem for pseudo-monads
• Pseudo algebras and pseudo double categories
• Pseudo-commutative monads

Cites work

• scientific article; zbMATH DE number 2134022 (Why is no real title available?)
• scientific article; zbMATH DE number 1271223 (Why is no real title available?)
• scientific article; zbMATH DE number 2172008 (Why is no real title available?)
• scientific article; zbMATH DE number 3296291 (Why is no real title available?)
• 2-nerves for bicategories
• A 2-categories companion
• A coherent approach to pseudomonads
• A general coherence result
• Braided tensor categories
• Codescent objects and coherence
• Coherence for tricategories
• Coinverters and categories of fractions for categories with structure
• Distributive laws for pseudomonads. II
• Enhanced 2-categories and limits for lax morphisms
• Icons
• Limits for lax morphisms
• Limits of small functors
• The formal theory of monads
• The low-dimensional structures formed by tricategories
• Three-dimensional monad theory
• Two-dimensional monad theory

Cited in

(17)

• scientific article; zbMATH DE number 1024332 (Why is no real title available?)
• The DG-category of secondary cohomology operations
• How strict is strictification?
• Pseudoalgebras and non-canonical isomorphisms
• Beck's theorem for pseudo-monads
• Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
• Weak vertical composition. II: Totalities
• Weak units, universal cells, and coherence via universality for bicategories
• Pseudo-commutative monads and pseudo-closed 2-categories
• On biadjoint triangles
• Codescent objects and coherence
• Monadic functors forgetful of (dis)inhibited actions
• ${\cal P}_w$ Is Not a Heyting Algebra
• Contravariance through enrichment
• Bi-accessible and bipresentable 2-categories
• scientific article; zbMATH DE number 978244 (Why is no real title available?)
• Laplaza sets, or how to select coherence diagrams for pseudo algebras

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

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