Definition:Hom Bifunctor
Jump to navigation
Jump to search
Definition
 | This article needs to be tidied. In particular: Use standardised naming of category and elements Please fix formatting and $\LaTeX$ errors and inconsistencies. It may also need to be brought up to our standard house style. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Tidy}} from the code. |
Let $\mathbf {Set}$ be the category of sets.
Let $\mathbf C$ be a locally small category.
The hom bifunctor on $\mathbf C$ is the covariant functor $\map {\operatorname {Hom} } {-, -} : \mathbf C^{\operatorname {op} } \times \mathbf C \to \mathbf {Set}$ from the product with the opposite category to the category of sets such that:
- $(1): \quad \map {\operatorname {Hom} } {a, b}$ is the hom class
- $(2): \quad$ If $\tuple {f^{\operatorname {op} }, g}: \tuple {a, b} \to \tuple {c, d}$ is a morphism, $\map {\operatorname {Hom} } {f^{\operatorname{op} }, g}: \map {\operatorname {Hom} } {a, b} \to \map {\operatorname {Hom} } {c, d}$ is $f_* \circ g^*$, the postcomposition with $g$ composed with the precomposition with $f$.
Also denoted as
All notations for hom classes can be seen for hom functors too.