Hi! On 2 Jul., 13:13, Simon King <simon.k...@uni-jena.de> wrote: > ... > One may introduce categories without base ring for each category WITH > base ring. I don't know whether this is provided by the "abstract > categories".
Apparently it isn't: sage: C = Modules(QQ['t']) sage: A = AbstractCategory(C); A Category of abstract modules over Univariate Polynomial Ring in t over Rational Field So, the base ring is still there. Cheers, Simon -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
