pith. sign in

arxiv: math/0602084 · v3 · submitted 2006-02-05 · 🧮 math.CT · math.AT

Weak units and homotopy 3-types

classification 🧮 math.CT math.AT
keywords weakcategoryconnectedhomotopymonoidalstricttypesargument
0
0 comments X
read the original abstract

We show that every braided monoidal category arises as $\End(I)$ for a weak unit $I$ in an otherwise completely strict monoidal 2-category. This implies a version of Simpson's weak-unit conjecture in dimension 3, namely that one-object 3-groupoids that are strict in all respects, except that the object has only weak identity arrows, can model all connected, simply connected homotopy 3-types. The proof has a clear intuitive content and relies on a geometrical argument with string diagrams and configuration spaces.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.