Azimuth Forum
Visit Site
@Jonathan
agh I kept getting confused which morphism to use but I figured out why. I've been treating each arrow as a separate entity but in this case its a monoid! Sorry and thx for being patient and answering my questions.
Version 2.1.8p2