-- you have earned Featured Contributor Badge Your exceptional post has been selected for our editorial column Staff Picks http://wolfr.am/StaffPicks and Your Profile is now distinguished by a Featured Contributor Badge and is displayed on the Featured Contributor Board. Thank you!

Thank you for your interest. This treatise serves multiple purposes:

1. Monad symbolics on top of the Wolfram Mathematica's code language

2. Nearly complete mathematical syntax via the Notation package

3. It also clearly shows the superiority of Wolfram Mathematica over the competitions as to how it allows for de novo symbolic computing with different semantics than its own!

If the community likes the code and the style, then I can develop more of these for other misunderstood and difficult topic matters in Category theory.

There are on my to do list:

1. Kelisi categories
2. Monads on Vector Bundles and their cats and fibered manifolds and so on
3. Comonad, Michael Marvan work
4. Category of Differential Equations
5. Explore Categorical Equational Proofs and possible deployments of Monads e.g. Ryerheard and Stell 1987

Dara