Opposite category

cosmos 18th November 2017 at 11:28pm
Category

The opposite of a category CC, written CopC^{op}, has the same objects and arrows as CC, but the arrows are reversed in direction (domains become codomains, and viceversa):

f:ABf: A \to B in CopC^{op} \Leftrightarrow f:BAf: B \to A in CC.

Composition, fgf \circ g in CopC^{op} is defined as the arrow gfg \circ f in CC (which remember, points in the opposite direction. Direction is defined with the dom,coddom, cod maps, so they are separate from the arrows themselves..)

This allows us to describe a duality principle:

If we have an statement ϕ\phi, which holds in CC. Then, the same statement, but with arrows reversed (and compositions flipped) ϕ\phi^* holds in CopC^{op}.

In particular CopC^{op} is a category, because the axioms of a category are self-dual.

In this sense, monic and epic are dual.

Video