Ivan Shishkin, Birch Grove

Concept

Contravariant hom functor

Algebra / Stub / edited by Ancient Tree

0 talk posts

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

  • On objects: each object XX is sent to the set HomC(X,B)\operatorname{Hom}_{\mathcal{C}}(X,B).
  • On morphisms: a morphism f:XYf:X\rightarrow Y is sent to the function
    f=HomC(f,B):HomC(Y,B)HomC(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: ggfg\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.