# Definition:Hom Bifunctor

Jump to navigation
Jump to search

## Definition

This article needs to be tidied.In particular: Use standardised naming of category and elementsPlease 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.