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 June 17, 2016 14:17:03 by Mike Shulman (