#18044: Implement categories for super algebras/modules
-------------------------------------+-------------------------------------
Reporter: tscrim | Owner: tscrim
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.6
Component: categories | Resolution:
Keywords: super | Merged in:
Authors: Travis Scrimshaw | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
public/categories/super_categories-18044|
cd6d21aa19660d5b60074d5e5299310e6e27d626
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by tscrim):
Replying to [comment:4 darij]:
> I'd just say "Return the super-analogue of ``self``" (the word
"analogue" is a bit weasel, but I think it's better to err on this side).
In general, there should be a canonical embedding from `C` into
`C.Super()`, not the other way round.
It's more of there is not a forgetful functor from `C.super()` to `C`, but
I'll make this change.
> What do you mean by "Same as :meth:`Graded`"?
Meaning I copied it. <.< >.>
--
Ticket URL: <http://trac.sagemath.org/ticket/18044#comment:5>
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/d/optout.
