Hi Author of this module, My gmail account vincent monde is hacked, i can not use any more.
now i open a new account wilson monde account could you show that how to express associative property and distributivity property with category package? Regards, Wilson Monde Aaron Meurer於 2014年2月6日星期四UTC+8上午9時28分32秒寫道： > > I'm CCing Sergiu, the author of this module. > > Aaron Meurer > > On Mon, Feb 3, 2014 at 7:31 PM, vincent monde > <[email protected]<javascript:>> > wrote: > > 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] <javascript:>. > > To post to this group, send email to [email protected]<javascript:>. > > > Visit this group at http://groups.google.com/group/sympy. > > For more options, visit https://groups.google.com/groups/opt_out. > -- 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.
