4.2.1 categories.homspaces - Hom spaces between objects of a category

AUTHORS: David Kohel and William Stein

The module categories.homspaces defines the following methods:

End( 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

Hom( 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

is_Endspace( x)

Return True if x is a space of endomorphisms in a category.

is_Homspace( x)

Return True if x is a space of homomorphisms in a category.

The module categories.homspaces defines the following classes:

class Homspace
The class for collections of morphisms in a category.



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