Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Revert Sets().category() from Sets() to Objects() #7259

Closed
nthiery opened this issue Oct 21, 2009 · 7 comments
Closed

Revert Sets().category() from Sets() to Objects() #7259

nthiery opened this issue Oct 21, 2009 · 7 comments

Comments

@nthiery
Copy link
Contributor

nthiery commented Oct 21, 2009

In Sage 4.1, the category of a category was changed from Objects() to Sets(). I.e. we used to have:

sage: Groups().category()
Category of objects

And now we have:

sage: Groups().category()
Category of sets

The attached patch reverts this, in particular because the
objects of Sets() are exactly the parents.

CC: @sagetrac-sage-combinat

Component: algebra

Keywords: sets

Author: Nicolas M. Thiéry

Reviewer: Mike Hansen

Merged: sage-4.2.alpha1

Issue created by migration from https://trac.sagemath.org/ticket/7259

@nthiery nthiery added this to the sage-4.2 milestone Oct 21, 2009
@nthiery nthiery self-assigned this Oct 21, 2009
@nthiery

This comment has been minimized.

@nthiery
Copy link
Contributor Author

nthiery commented Oct 21, 2009

Attachment: trac_7259-revert-category-in-sets.patch.gz

@mwhansen
Copy link
Contributor

comment:2

For the record, all tests pass with this applied.

@mwhansen
Copy link
Contributor

comment:3

I think this can go in now and then we'll switch it over to the "Category of Categories" when appropriate.

@mwhansen
Copy link
Contributor

Reviewer: Mike Hansen

@mwhansen
Copy link
Contributor

Merged: sage-4.2.alpha1

@fchapoton

This comment has been minimized.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

3 participants