SetsWithPartialMaps#

class sage.categories.sets_with_partial_maps.SetsWithPartialMaps[source]#

Bases: Category_singleton

The category whose objects are sets and whose morphisms are maps that are allowed to raise a ValueError on some inputs.

This category is equivalent to the category of pointed sets, via the equivalence sending an object X to X union {error}, a morphism f to the morphism of pointed sets that sends x to f(x) if f does not raise an error on x, or to error if it does.

EXAMPLES:

sage: SetsWithPartialMaps()
Category of sets with partial maps

sage: SetsWithPartialMaps().super_categories()
[Category of objects]
>>> from sage.all import *
>>> SetsWithPartialMaps()
Category of sets with partial maps

>>> SetsWithPartialMaps().super_categories()
[Category of objects]
super_categories()[source]#

EXAMPLES:

sage: SetsWithPartialMaps().super_categories()
[Category of objects]
>>> from sage.all import *
>>> SetsWithPartialMaps().super_categories()
[Category of objects]