Hi Travis, On 2018-05-19, Travis Scrimshaw <tsc...@ucdavis.edu> wrote: >> And "parent" is just another word for "object of a sub-cateogory of the >> category of sets". So, if there is a category of tableaux and if each >> tableau has elements, then a tableau is a parent and its elements are, >> well, its elements. >> > This is the wrong viewpoint. The set of Tableaux should be the parent in > the category of (enumerated?) sets since the elements are a Tableau.
I see. So, just to confirm: It is NOT the case that if you take two tableaux satisfying a certain condition then there is a map from the first tableaux to the second tableaux? And it is NOT the case that tableaux form a category? For the OP, I guess Travis' answer means that the category framework is not suitable for providing a method that is generic for all tableaux: He says that the set of all tableaux is just an object in Sets(), and thus Sets.ElementMethods will be available to each tableau, but of course one must not add a generic tableau method .foo() to Sets.ElementMethods unless .foo() makes sense to ALL elements of sets. I still wonder: Is the OP's notion of a tableau already implemented in Sage? Kind regards, Simon -- You received this message because you are subscribed to the Google Groups "sage-combinat-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-combinat-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-combinat-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-combinat-devel. For more options, visit https://groups.google.com/d/optout.
