i follow the definition define theta in sympy, however got error at g = 
CompositeMorphism(f, f) - IdentityMorphism(A)

Theta is involution of A <=> theta o theta = identitymorphism(A)
Book Conceptual Mathematic in page 139
A = Object("A") 
B = Object("B")
f = NamedMorphism(A, B, "f")
g = CompositeMorphism(f, f) - IdentityMorphism(A)
g.domain
g.codomain

-- 
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.

Reply via email to