The target object, or simply target, of a morphism in some category is the object . The target of is also called its codomain, since the dual concept (the source) is also called ‘domain’.
Given a small category with set of objects and set of morphisms , the target function of is the function that maps each morphism in to its target object in .
Generalising this, given an internal category with object of objects and object of morphisms , the target morphism of is the morphism that is part of the definition of internal category.
Revised on July 8, 2013 10:24:36
by Urs Schreiber