Ivan Shishkin, Birch Grove

Contravariant hom functor

Definition / General algebra /

English

Let C\mathcal{C} be a locally small category. For each object BB in C\mathcal{C}, there is a functor
Hom⁡C(−,B):Cop⁡→Set\operatorname{Hom}_{\mathcal{C}}(-,B):\mathcal{C}^{\operatorname{op}}\rightarrow \mathbf{Set}defined by:

  • On objects: each object XX is sent to the set Hom⁡C(X,B)\operatorname{Hom}_{\mathcal{C}}(X,B).
  • On morphisms: a morphism f:X→Yf:X\rightarrow Y is sent to the function
    f∗=Hom⁡C(f,B):Hom⁡C(Y,B)→Hom⁡C(X,B)f^*=\operatorname{Hom}_{\mathcal{C}}(f, B): \operatorname{Hom}_{\mathcal{C}}(Y, B) \rightarrow \operatorname{Hom}_{\mathcal{C}}(X, B)given by pre-composition: g↦g∘fg\mapsto g\circ f.
Problems using this concept (0)

No listed problems link to this concept yet.

Problems using this concept (spoiler) (0)

No listed problems use this concept as a spoiler yet.