Hi Author of this module, when i remember the login name vincent monde account, i forget the password
could you show that how to express associative property and distributivity property with category package? will adjunction be implemented in future in 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.
