Coherence for weak units

Details Coherence for weak units Coherence for weak units

2009-07-27

arxiv.org/abs/0907.4553v1

Mathematics

Category Theory

37 pages, LaTeX; does not compile correctly with pdflatex due to some ps rotations. Minor typographical imperfections

Scientific paper

We define weak units in a semi-monoidal 2-category $\CC$ as cancellable pseudo-idempotents: they are pairs $(I,\alpha)$ where $I$ is an object such that tensoring with $I$ from either side constitutes a biequivalence of $\CC$, and $\alpha: I \tensor I \to I$ is an equivalence in $\CC$. We show that this notion of weak unit has coherence built in: Theorem A: $\alpha$ 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: $\alpha$ 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.

Affiliated with

Also associated with

No associations

Rating

Coherence for weak units 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 Coherence for weak units, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Coherence for weak units will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-245634