Sage categories quickref

• sage.categories.primer? a primer on Elements, Parents, and Categories

• sage.categories.tutorial? a tutorial on Elements, Parents, and Categories

• Category? technical background on categories

• Sets(), Semigroups(), Algebras(QQ) some categories

• SemiGroups().example()?? sample implementation of a semigroup

• Hom(A, B), End(A, Algebras()) homomorphisms sets

• tensor, cartesian_product functorial constructions

Module layout:

• sage.categories.basic the basic categories

• sage.categories.all all categories

• sage.categories.semigroups the Semigroups() category

• sage.categories.examples.semigroups the example of Semigroups()

• sage.categories.homset morphisms, …

• sage.categories.map

• sage.categories.morphism

• sage.categories.functors

• sage.categories.cartesian_product functorial constructions

• sage.categories.tensor

• sage.categories.dual