Module: sage.categories.morphism
Author Log:
Module-level Functions
x) |
Class: FormalCoercionMorphism
self, parent) |
Special Functions: _call_,
_repr_type
Class: FormalCompositeMorphism
self, parent, first, second) |
Functions: first,
second
self) |
The first morphism in the formal composition, where the composition is x|-> second(first(x)).
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
self, parent) |
Functions: category,
codomain,
domain,
is_endomorphism
Special Functions: __call__,
__invert__,
__mul__,
__pow__,
_call_,
_composition_,
_repr_,
_repr_defn,
_repr_type
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.