#10963: More functorial constructions
-------------------------------------+-------------------------------------
Reporter: nthiery | Owner: stumpc5
Type: enhancement | Status: needs_info
Priority: major | Milestone: sage-6.2
Component: categories | Resolution:
Keywords: days54 | Merged in:
Authors: Nicolas M. Thiéry | Reviewers: Simon King, Frédéric
Report Upstream: N/A | Chapoton
Branch: | Work issues:
public/ticket/10963-doc- | Commit:
distributive | c718f218fbc726bf3cf7f4c3f20638c9b0c7eea7
Dependencies: #11224, #8327, | Stopgaps:
#10193, #12895, #14516, #14722, |
#13589, #14471, #15069, #15094, |
#11688, #13394, #15150, #15506 |
-------------------------------------+-------------------------------------
Comment (by SimonKing):
It would be fairly easy to enable the following:
{{{
age: C = Algebras(Fields())
sage: C
Category of algebras over Category of fields
sage: C.super_categories()
[Category of rings,
Category of associative algebras over Category of fields,
Category of unital algebras over Category of fields]
sage: _[1].super_categories()
[Category of rngs, Category of magmatic algebras over Category of fields]
sage: _[1].super_categories()
[Category of additive commutative additive associative additive unital
distributive magmas and additive magmas,
Category of modules over Category of fields]
sage: _[1].super_categories()
[Category of bimodules over Category of fields on the left and Category of
fields on the right]
sage: _[0].super_categories()
[Category of left modules over Category of fields,
Category of right modules over Category of fields]
sage: _[0].super_categories()
[Category of commutative additive groups]
}}}
I think we would then also want that the "category of Bs over Category of
fields" is among the super categories of the "category of Bs over Rational
field". But where to implement it? I tried to provide it in
`Category_over_base.extra_super_categories()`, but this has not done the
trick.
--
Ticket URL: <http://trac.sagemath.org/ticket/10963#comment:511>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
