#13372: add functionality for duals of algebras, coalgebras, hopf algebras, etc.
-------------------------------------------------+--------------------------
Reporter: saliola | Owner: AlexGhitza
Type: enhancement | Status: new
Priority: major | Milestone: sage-5.3
Component: algebra | Resolution:
Keywords: duality, categories, algebras | Work issues:
Report Upstream: N/A | Reviewers:
Authors: | Merged in:
Dependencies: | Stopgaps:
-------------------------------------------------+--------------------------
Comment (by saliola):
Simon raised the following question in the
[https://groups.google.com/d/topic/sage-combinat-
devel/LdKONcGfGhU/discussion thread]:
> Start with an object O in some category C1, take its dual D in C1, and
> apply the forgetful functor to map it to a sub-category C2; one would
> not always get the same result as if one first applies the forgetful
> functor to O and then dualise the result in C2, right?
>
> And hence VectorSpaces(QQ)(H.dual()) might (perhaps not here, but in
> other situations) be different from (VectorSpaces(QQ)(H)).dual().
> Would that be a problem?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13372#comment:1>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
