#8800: Doctest coverage of categories
--------------------------+-------------------------------------------------
Reporter: SimonKing | Owner: Simon King
Type: defect | Status: needs_review
Priority: major | Milestone: sage-4.4.2
Component: categories | Keywords: categories doctests
Author: Simon King | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
--------------------------+-------------------------------------------------
Comment(by SimonKing):
Replying to [comment:29 robertwb]:
> ...
> Hmm... does it make sense to have a category of Modules (over any
basering)?
The axioms of categories say that there must be the identity morphism for
any object, and that composition of functors must be associative. It is
not required that there is a morphism (e.g., the null-homomorphism)
between any two objects. So, I guess a category of modules is just fine.
Cheers,
Simon
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8800#comment:30>
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.
