AUTHORS: David Kohel and William Stein
The module categories.homspaces defines the following methods:
X, [cat=None]) |
Create the space of endomorphisms of X in the category cat.
INPUT: X -- anything cat -- (optional) category in which to coerce X OUTPUT: a space of endomorphisms in cat
X, Y, [cat=None]) |
Create the space of homomorphisms from X to Y in the category cat.
INPUT: X -- anything Y -- anything cat -- (optional) category in which to coerce X and Y OUTPUT: a homspace in cat
x) |
Return True if x is a space of endomorphisms in a category.
x) |
Return True if x is a space of homomorphisms in a category.
The module categories.homspaces defines the following classes: