Opposite Categories: CompBoolAlg & FinSet
CompBoolAlg and FinSet are opposites; they share the same objects, identity arrows, and composition, but the arrows in CompBoolAlg are pointed in the opposite direction from in FinSet. This is a contravariant equivalence of categories.
opposite_categories: CompBoolAlg, FinSet
This data as json
| category | op |
|---|---|
| CompBoolAlg | FinSet |