nLab
opposite 2-category

Definition

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 (192.195.154.58)