34 citations · 127 across the 38 of their papers we have counts for
Showing 2005Show all
2 papers · 1 filter
math.CT2005
Commutation Structures
Anders Kock
For a fixed object X in a monoidal category, an X-commutation structure on an object A is just a map from XA to AX. We study aspects of such structure in case A has a dual.
math.CT2005★ 6 cited
Pregroupoids and their enveloping groupoids
Anders Kock
We prove that the forgetful functor from groupoids to pregroupoids has a left adjoint, with the front adjunction injective. Thus we get an enveloping groupoid for any pregroupoid.…