8.3 Morphisms

Module: sage.categories.morphism

Author Log:

Module-level Functions

is_Morphism( x)

Class: FormalCoercionMorphism

class FormalCoercionMorphism
FormalCoercionMorphism( self, parent)

Special Functions: _call_,$  $ _repr_type

Class: FormalCompositeMorphism

class FormalCompositeMorphism
FormalCompositeMorphism( self, parent, first, second)

Functions: first,$  $ second

first( self)

The first morphism in the formal composition, where the composition is x|-> second(first(x)).

second( self)

The second morphism in the formal composition, where the composition is x|-> second(first(x)).

Special Functions: _call_,$  $ _repr_defn,$  $ _repr_type

Class: Morphism

class Morphism
Morphism( self, parent)

Functions: category,$  $ codomain,$  $ domain,$  $ is_endomorphism

Special Functions: __call__,$  $ __invert__,$  $ __mul__,$  $ __pow__,$  $ _call_,$  $ _composition_,$  $ _repr_,$  $ _repr_defn,$  $ _repr_type

__mul__( self, right)

The multiplication * operator is operator composition.

INPUT:
    self -- Morphism
    right -- Morphism

OUTPUT:
    The morphism $x \mapsto self(right(x))$.

See About this document... for information on suggesting changes.