Not every pseudoalgebra is equivalent to a strict one

DOI10.1016/J.AIM.2011.01.010zbMATH Open1242.18010arXiv1005.1520OpenAlexW1991804056MaRDI QIDQ664768FDOQ664768

Authors: Michael Shulman 

Publication date: 2 March 2012

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

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.

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

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

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)

Cites Work

• Braided tensor categories
• A general coherence result
• Two-dimensional monad theory
• Codescent objects and coherence
• The formal theory of monads
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Enhanced 2-categories and limits for lax morphisms
• Icons
• Limits of small functors
• Coherence for tricategories
• A 2-categories companion
• Title not available (Why is that?)
• 2-nerves for bicategories
• A coherent approach to pseudomonads
• The low-dimensional structures formed by tricategories
• Limits for lax morphisms
• Distributive laws for pseudomonads. II
• Three-dimensional monad theory
• Coinverters and categories of fractions for categories with structure

Cited In (17)

• 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
• Title not available (Why is that?)
• Laplaza sets, or how to select coherence diagrams for pseudo algebras
• Title not available (Why is that?)

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)