class_docstr: The base class for any morphism in an abstract category.
  
  Explanation
  ===========
  
  In abstract categories, a morphism is an arrow between two
  category objects.  The object where the arrow starts is called the
  domain, while the object where the arrow ends is called the
  codomain.
  
  Two morphisms between the same pair of objects are considered to
  be the same morphisms.  To distinguish between morphisms between
  the same objects use :class:`NamedMorphism`.
  
  It is prohibited to instantiate this class.  Use one of the
  derived classes instead.
  
  See Also
  ========
  
  IdentityMorphism, NamedMorphism, CompositeMorphism
class_docstr_tok: ["The","base","class","for","any","morphism","in","an","abstract","category",".","Explanation","===========","In","abstract","categories",",","a","morphism","is","an","arrow","between","two","category","objects",".","The","object","where","the","arrow","starts","is","called","the","domain",",","while","the","object","where","the","arrow","ends","is","called","the","codomain",".","Two","morphisms","between","the","same","pair","of","objects","are","considered","to","be","the","same","morphisms",".","To","distinguish","between","morphisms","between","the","same","objects","use",":","class",":","`","NamedMorphism","`",".","It","is","prohibited","to","instantiate","this","class",".","Use","one","of","the","derived","classes","instead",".","See","Also","========","IdentityMorphism",",","NamedMorphism",",","CompositeMorphism"]
docstr: Returns the codomain of the morphism.
  
  Examples
  ========
  
  >>> from sympy.categories import Object, NamedMorphism
  >>> A = Object("A")
  >>> B = Object("B")
  >>> f = NamedMorphism(A, B, "f")
  >>> f.codomain
  Object("B")
docstr_tok: ["Returns","the","codomain","of","the","morphism",".","Examples","========",">",">",">","from","sympy.categories","import","Object",",","NamedMorphism",">",">",">","A","=","Object","(","``","A","''",")",">",">",">","B","=","Object","(","``","B","''",")",">",">",">","f","=","NamedMorphism","(","A",",","B",",","``","f","''",")",">",">",">","f.codomain","Object","(","``","B","''",")"]
code: def codomain(self):
      """
      Returns the codomain of the morphism.
  
      Examples
      ========
  
      >>> from sympy.categories import Object, NamedMorphism
      >>> A = Object("A")
      >>> B = Object("B")
      >>> f = NamedMorphism(A, B, "f")
      >>> f.codomain
      Object("B")
  
      """
      return self.args[1]
  
imports: from sympy.core import S, Basic, Dict, Symbol, Tuple, sympify
  from sympy.core.symbol import Str
  from sympy.sets import Set, FiniteSet, EmptySet
  from sympy.utilities.iterables import iterable
label_desc: Use image node_id 3 for calling the Morphism obj's underlying member method code with example usage: obj.codomain() and returns: self