# 2.Dual Category

## 11.05.2020

### Contents/Index

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.