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 1-cells are reversed.
  • The bidual K coopK^{co op} in which both 11-cells and 22-cells are reversed.

Revised on September 20, 2010 19:10:20 by Toby Bartels (