Category:Dual Categories
Jump to navigation
Jump to search
This category contains results about Dual Categories.
Let $\mathbf C$ be a metacategory.
Its dual category, denoted $\mathbf C^{\text{op} }$, is defined as follows:
| Objects: | $X^{\text{op} }$, for all $X \in \operatorname{ob}\mathbf C$ | |
| Morphisms: | $f^{\text{op} }: D^{\text{op} } \to C^{\text{op} }$ for all $f: C \to D$ in $\mathbf C_1$ | |
| Composition: | $\left({f^{\text{op} } \circ g^{\text{op} } }\right) := \left({g \circ f}\right)^{\text{op} }$, whenever this is defined | |
| Identity morphisms: | $\operatorname{id}_{X^{\text{op} } } := \operatorname{id}_X^{\text{op} }$ |
Pages in category "Dual Categories"
This category contains only the following page.