Coherence for weak units

André Joyal, Joachim Kock

Research output: Contribution to journalArticleResearchpeer-review

5 Citations (Scopus)

Abstract

We define weak units in a semi-monoidal 2-category L as cancellable pseudo-idempotents: they are pairs (I, α) where I is an object such that tensoring with I from either side constitutes a biequivalence of L, and α: I ⊗ I → I is an equivalence in L. We show that this notion of weak unit has coherence built in: Theorem A: α has a canonical associator 2-cell, which automatically satisfies the pentagon equation. Theorem B: every morphism of weak units is automatically compatible with those associators. Theorem C: the 2-category of weak units is contractible if non-empty. Finally we show (Theorem E) that the notion of weak unit is equivalent to the notion obtained from the definition of tricategory: α alone induces the whole family of left and right maps (indexed by the objects), as well as the whole family of Kelly 2-cells (one for each pair of objects), satisfying the relevant coherence axioms.
Original languageEnglish
Pages (from-to)71-110
JournalDocumenta Mathematica
Volume18
Issue number1
Publication statusPublished - 8 May 2013

Keywords

  • Coherence
  • Monoidal 2-categories
  • Units

Fingerprint Dive into the research topics of 'Coherence for weak units'. Together they form a unique fingerprint.

Cite this