Weak units and homotopy 3-types

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

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.

Original languageEnglish
Title of host publicationCATEGORIES IN ALGEBRA, GEOMETRY AND MATHEMATICAL PHYSICS
EditorsA Davydov, M Batanin, M Johnson, S Lack, A Neeman
Number of pages20
PublisherAMER MATHEMATICAL SOC
Publication date2007
Pages257-276
ISBN (Print)978-0-8218-3970-6
Publication statusPublished - 2007
Externally publishedYes
EventConference on Categories in Algebra, Geometry and Mathematical Physics held in Honor of Ross Streets 60th Birthday - Sydney, Australia
Duration: 11 Jul 200516 Jul 2005

Conference

ConferenceConference on Categories in Algebra, Geometry and Mathematical Physics held in Honor of Ross Streets 60th Birthday
LandAustralia
BySydney
Periode11/07/200516/07/2005
SeriesContemporary Mathematics
Volume431
ISSN0271-4132

    Research areas

  • higher categories, weak units, braided monoidal categories, homotopy 3-types

ID: 331502357