59 citations · 140 across the 11 of their papers we have counts for
1 paper · 2 filters
André Joyal, Joachim Kock
We define weak units in a semi-monoidal 2-category $\CC$ as cancellable pseudo-idempotents: they are pairs (I,α) where I is an object such that tensoring with I from either s…