Monads natural transformations: categories for the working programmers

[dara (Dara Shayda)]

Open in Wolfram Cloud ↗

DOWNLOAD-DESKTOP-NOTEBOOK.nb (4.54 MB)

[dara (Dara Shayda)]

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

[dara (Dara Shayda)]

Acknowledgements:

Warmest thank you to Richard Hennigan (Wolfram Research)
https://resources.wolframcloud.com/FunctionRepository/resources/BirdSay/
https://resources.wolframcloud.com/FunctionRepository/resources/WolfieSay/
https://resources.wolframcloud.com/FunctionRepository/resources/SpeechBubble/

Mr. Hennigan I butchered your code and now it works in Wolfram Cloud ha ha ha ha, it is wonderful. I love the style you created. I like to extend this into a cloud object for the anime manga designers to make print versions of their work (I know off the Wolfram wall)

[wolframcommunity (EDITORIAL BOARD)]

– 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!