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_productfunctorial constructions
Module layout:
- sage.categories.basicthe basic categories
- sage.categories.allall categories
- sage.categories.semigroupsthe- Semigroups()category
- sage.categories.examples.semigroupsthe example of- Semigroups()
- sage.categories.homsetmorphisms, …
- sage.categories.functors
- sage.categories.cartesian_productfunctorial constructions