-
-
Notifications
You must be signed in to change notification settings - Fork 480
Categories Roadmap
This page describes the status and roadmap for the category framework in Sage
With special thanks to Robert Bradshaw, Volker Braun, Nils Bruin, Peter Bruin, Teresa Gomez-Diaz, Darij Grinberg, Mike Hansen, Florent Hivert, Simon King, David Roe, Travis Scrimshaw, William Stein, and so many others ... for design discussions. Special kudos go to Simon King for all his work on the category infrastructure, in particular toward optimizations.
- Quickref card: sage.categories?
- Primer: sage.categories.primer?
- Technical background: Category?
- Tutorial: How to implement new algebraic structures in Sage
Design discussions:
- Discussion on sage-devel, November 2009
- Long series of comments on #10963
- ... TODO ...
- abstract methods: #6097, #6809
- lazy attributes: #4371, #5793
- cached methods: ..., #11115, #15759
- support for nested classes and dynamic classes: #5483, #5985, #5986, #5991, #9107
- support for dynamic classes: #5783
- support for lazy import: #11224, #14722, #15648
- support for large hierarchy of classes and C3: #11943, #13589
- unique representation: #5120
- testsuites: #6343, #7478, #8001, #16244
- misc: #5449, #5598, #5967, #5979, #6000, #7251, #7259, #7420, #7421
- cache and memory management: #15069, #13394, #13901, #15506, ...
Original ticket: #5891 (2009)
- Combinatorial Hopf algebras and generalizations of symmetric functions: #8899, #11929, #15150, #6889
- #6812 Enumerate integer list up to the action of a Permutation Group
- Semigroups (upcoming), #11111
- polynomial rings: #9944
- (combinatorial) modules and algebras: #6136, #6137, #6138
- enumerated sets: #7403, #7395, #7396, #7397, #10193
- families: #7208
- root systems: #4326, #3663, #5794
- rings: #9138
- misc: #7921, #8001, #8044, #8562, #8576, #8911, #9138, #9944, #12877
TODO:
- make a census of the parents that are not yet categorified
- Document that the old hierarchy of abstract classes (Ring, Field, ...) is deprecated (except for some of the element classes whose presence is critical for the performance of arithmetic)
- Actually start deprecating it. This requires all/most parents to be categorified.
- Move a lot of methods like base_ring, list, ... from Parent, Element, SageObject to the categories #????
The current hierarchy includes all the mathematical categories of Axiom and MuPAD (courtesy of Teresa Gomez Diaz)
TODO: add link to there + to the category graph
- #15696 Implement an_instance for more categories, and extend category_sample. This could benefit from #15801.
- Add more examples of parents (HELP!):
Ultimately, this should be for all categories.
Those are needed urgently:
- Modules (for doctests for
__mul__/__rmul__/ ...) - Algebras (for doctests for
__mul__/__rmul__/ ...)
- Modules (for doctests for
- TensorProducts, Algebras, Quotients, Subquotients, Subobjects, IsomorphicImages: #8881, #10963
- WithRealizations: #7980
- Dual, graded dual: #8881, #10963, #15647
- Graded: #8881, #10963, #11688
- Cartesian products: #8881, #16269, #10963, #15425
- Upcoming: CharacterRings
sage: Groups() & Sets().Finite()
Category of finite groups
sage: (CommutativeAdditiveGroups() & Monoids()).Distributive().Division()
Category of division rings
sage: _ & Sets().Finite()
Category of finite fields
- Original infrastructure: #10963
- Alternative infrastructure proposal: #15701
- Finite, Infinite, Associative, Unital, Commutative, Inverse (and additive variants), Division, Distributive, ...: #10963
- FiniteDimensional: #10963, #11111
- #15475 Reenable broken doctests in #15473 and #15476 when #10963 is merged
-
favor *_generators over gens(): #15381
-
Support for homsets: #12876, #14793, #16275,
use cached_function for handling the cache of Hom?
-
Hom is not a covariant functorial construction. This kind of works for now, but the design and user interface needs to be discussed for the long run implementation. See #10668.
-
Support for multivariate morphisms, i.e. morphisms (A x B) -> C where the specializations (A x b) -> C and and (a x B) -> C are morphisms for possibly different categories (see also #8900)
-
Defining new inline operators, at least within the sage interpreter
-
Support for subcategory methods: #12895
-
Refinement of the category of a parent: ..., #14471
-
Support for full subcategories: #16340
-
Improve the terminology for the hierarchy relation between categories: #16183
-
join and meet are misnomers: since we speak of subcategories, then the implicit order is A <= B if A is a subcategory of B. So join and meet should be exchanged. Maybe it's too late for backward compatibility. Then maybe we could use "intersect" instead of join. For meet, there does not seem to be an obvious name, but it's also very seldom used at the user interface, so the backward compatibility issue is not that relevant.
As a first step, #10963 implements the shortcuts & and | for join and meet.
- Clarify in the doc and implement systematically the distinction
between
P in MyCategory()andP.is_...()
-
Modules(field) returns VectorSpaces(field): #8881
-
Mantra
P in Algebrasfor testing if P is an algebra (over whatever ring): done; TODO: find the ticket that implemented that! -
Categories over base ring categories: #15801
-
Make modules, algebras, polynomial algebra (free commutative algebra?), free algebra, exterior algebras, ... into covariant functorial constructions.
-
Clarification of the specifications of modules: #16247
- Modules(R) should be restricted to R commutative, with r * m = m * r ???
- Algebras(R) should be a subcategory of Bimodules, not Modules???
- What about ModulesWithBasis?
-
#15043: Rename MagmaticAlgebras? to Algebras and Algebras to AssociativeUnitalAlgebras?
-
The handling of multiplication (mul, ...) should be lifted to left / right modules
-
Rings() could be a subcategory of Algebras(ZZ) (or coincide with it). CommutativeAdditiveGroups() could coincide with Modules(ZZ). In a similar vein, a field F could be in the category Modules(F). However, this can cause some trouble by introducing cross dependencies: ZZ involves constructing the category Rings() which uses Modules(ZZ) which itself uses ZZ. To avoid this, the current setup makes the basic categories (Groups(), Rings(), Modules(Rings())...) independent of any parent. This should probably be fixable later on by introducing more lazyness.
TODO: reference the related discussions on sage-devel
- #11900, #11935:
- #15801: categories over base ring categories
- #16296: Speed improvements for categories with axioms
Works, up to some caveats (isinstance checks, ...). See also sage.categories.examples.semigroups_cython for further experiments.
-
#7921: Original approach via
__getattr__ -
#20686: optimizing
-
Better would-be approach: treat extension types like the others
This would require to add support for multiple inheritance from abstract classes in Cython (Robert Bradshaw: there is no theoretical obstructions; just someone needs to take care of it).
-
#15718:
__init_extra__for Cython classes
- Main index page: #7443 TODO: refactor it (maybe as in #16256); in particular emphasize the quickref
- Primer: #5891, #10963
- Make sure that ? and ?? on categories / examples / ... point to the right place e.g.: Semigroups??, Semigroups().example()?? Semigroups().parent_class?, Semigroups.element_class?
- Improve the documentation of the implementation of axioms: #15643
- Explain category: Autogenerated overview documentation of a category: #16363
- Writing and linking to generic documentation???
-
Add ObjectMethods for category objects that are not parents?
-
Allow for super classes to also provide .Element?
-
Infrastructure for sharing code between the following features:
- Calculating whether an object provably belongs to a category (is_* methods)
- Testing whether an object is in the category it claims to belong to (test* methods)
-
Inheritance from existing parents
-
How to specify the category of a parent (overloading of method / argument to
__init__) See #7921 -
#15303 Coercion discovery fails to be transitive
Attachments:
Readme | Version | Citation | Authors | Contributing | Code of Conduct | Copyright ©️ 2023 Sage Developer Community