#16183: Improve the terminology for the hierarchy relation between categories
-------------------------------+------------------------
Reporter: nthiery | Owner:
Type: enhancement | Status: new
Priority: major | Milestone: sage-6.2
Component: categories | Resolution:
Keywords: | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
-------------------------------+------------------------
Comment (by nthiery):
Replying to [comment:2 SimonKing]:
> Here is a little summary:
Thanks Simon!
> Let C be a category, let R be a category with a forgetful functor to C,
let F be a full subcategory of C, and let S be a subcategory of C.
>
> If an object O belongs to R, then we want that it inherits parent
methods from C. So, "refinement" (or forgetful functors) is what we need
for the hierarchy of parent and element methods
as well as morphism methods. But not homset methods!
> ---but rather not for subcategory methods!
For our current usage of "SubcategoryMethods", refinement is actually
what we want. So it's more like we should rename "SubcategoryMethods"
to something inline with whatever terminology we choose. Something
like "RefinementCategoryMethods"?
Maybe there is also a use case for "SubcategoryMethods" in the context
of subcategories, but that's a feature for later.
Cheers,
Nicolas
--
Ticket URL: <http://trac.sagemath.org/ticket/16183#comment:3>
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.
