my idea is to construct some associative property and distributivity property with category package first
and then use hom to combine these category diagram , this method i am not sure correct or not. will sympy have operads in future? is it a need to use operads to create algebra or generate operation or construct theory? or which one need it? how to display a associative property and distributivity property with category module? when see the example, i do not understand how Object S x S is an object, i guess that there is another way to write in sympy reference from http://www.mathematik.uni-muenchen.de/~pareigis/Vorlesungen/04SS/Cats1.pdf any example to show associativity and distributivity diagram? A = Object("S x S") B = Object("S") .... g == NamedMorphism(A, B, "g") S x mult S x S x S ------> S x S | | | mult x S | mult | | \|/ \|/ S x S -------> S mult -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sympy. For more options, visit https://groups.google.com/groups/opt_out.
