opposite 2-category

A 2-category KK has three different opposites (two independent):

  • The 11-cell dual K opK^{op}, in which the 11-cells but not the 22-cells are reversed.
  • The 22-cell dual K coK^{co}, in which the 22-cells but not the 11-cells are reversed.
  • The bidual K coopK^{co op} in which both 11-cells and 22-cells are reversed.

Revised on October 29, 2014 21:59:43 by Maciej Pirog? (