Not every pseudoalgebra is equivalent to a strict one

Details Not every pseudoalgebra is equivalent to a strict one Not every pseudoalgebra is equivalent to a strict one

2010-05-10

arxiv.org/abs/1005.1520v2

Mathematics

Category Theory

17 pages; added more explanation; final version, to appear in Adv. Math

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Not every pseudoalgebra is equivalent to a strict one does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Not every pseudoalgebra is equivalent to a strict one, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Not every pseudoalgebra is equivalent to a strict one will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-627719