Hi Vincent, On 2014-06-10, Vincent Delecroix <20100.delecr...@gmail.com> wrote: >> Also, if we'd actually have the category as "Category of subsets of GF(5)" >> we would probably end up with the memory leaks that parametrized categories >> tend to cause. Still, it may be worth investigating how such containers >> should interact with the category framework. Do we want/need a category of >> "Dictionaries with keys in ..."? > > I am a bit confused with > - Category vs Set > - an object can not be a Parent and an Element at the same time
Yes, it cannot, but this is an artifact of how it is implemented. In fact, there are situations in which one would really want that a parent (e.g., a vector space) is simultaneously an element of another parent (e.g., an element in the abelian monoid of vector spaces subject to direct sums, or in the Grothendieck group of that monoid). It can also be desirable to consider a category as a parent. Again, the implementation makes it impossible to have. Cheers, 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/d/optout.
