Hi Dima, On 2013-07-05, Dima Pasechnik <dimp...@gmail.com> wrote: >> In fact, I don't understand why Algebras has to be in the global namespace. >> I've never once found it useful to start an interactive session by >> instantiating a new category. > +1 > (although full-time category theorists might disagree :))
I think I am only part-time categorist. On the one hand, I too think that there is currently no need to insert categories into the global namespace. Categories do a lot of useful stuff in the background, but usually they do not show up in the foreground. On the other hand, this might actually change with Nicolas' upcoming functorial constructions patch. If Sage would be able to really do fancy constructions with categories, then it would certainly make sense to do/test these constructions in an interactive session. On the third hand (on the one foot??), if one wants to do arithmetics *on* categories (rather than just arithmetics *using* categories), then one can still do something like "from sage.categories import *" without too much effort. On the other foot, removing categories from the global namespace would probably break a lot of tests. How should this be organised? On the functorial constructions ticket, which already is big enough? On a later ticket? On an earlier ticket? Best regards, Simon -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/groups/opt_out.
