pathterminuspages/math/aboutcontactabout me

2.Dual Category



1. Definition
@2. Dual Category
3. Mono-, Epi- and Isomorphisms
4. Initial and Terminal Objects
5. Products and Coproducts
6. Exponentation and Cartesian Closed Categories

For each category $\mathcal{C}$ we can form a dual category $\mathcal{C}^{op}$. The dual category has the same objects as the original, and the same number of arrows, but all are reversed. That is given $f : A \rightarrow B$ in $\mathcal{C}$ we have $f' : B \rightarrow A$ in $\mathcal{C}^{op}$. Composition and identity is formed in the obvious way.

CommentsGuest Name:Comment: