A monoid is a category, a category is a monad, a monad is a monoid

To say "only God can understand the future" is an unnecessary personification of our incompleteness. I think the future of declarative functions is pretty clear. Today foo(x) = 2x, tomorrow foo(x) = 2x. Anything we can't say is simply a dearth of information. How useful is it to say we've a dearth of "future information"?

Anyway, we give names to sets of propositions, and that's a neat trick.

Why I learn this stuff: to more effectively change things about myself.

Category Theory is an abstract math of relationships. I use it to better understand how my mind and body work. How parts of me are related in the moment and/or across time. Understanding how things in me are related is essential to me dealing with PTSD & recovering from addiction, both of which can color every aspect of a person. Untangling them is insanely hard and has gotten much easier through CT.

I apply my programming intuition to my brain & body through CT. There exists a path from neuroanatomy to theoretical computer science that passes through category theory. I've been experimenting on myself for 6 months with the goal of changing my mind and body. I've been doing it by developing an intuition for category theory, developing an intuition for how neutral networks learn, adapting machine learning models with concepts from neuroscience and psychology, and mixing it all with my intuition for programming.

So far, I've:

• changed how I walk through a handful of sessions lasting a few minutes and no longer experience back pain I'd been seeing a chiropractor (saw him weekly for 3-4 months with little improvement, ending about 10 months people changing my gait)

• began learning how to identify and stop believing anxious thoughts

• accidentally started developing the ability to focus and direct my attention (way beyond anything I've ever experienced on my ADHD meds)

• accidentally stumbled on the Buddhist practice of deity visualization, which created a second conscious voice in my head. She helps me learn how to embody more than one new personality trait at a time easier than if I simply focused on being those things. It's weird/complicated, and I'm willing to go into more detail if people have questions.

Here are some of the few bits supporting my claims about neuroanatomy and category theory:

https://www.researchgate.net/publication/280219255_Conciliat...

One of the coauthors wrote the only book on the brain and category theory:

http://tierra.aslab.upm.es/documents/PhD/PhD-JGomez.pdf

If you understand a good bit of CT and would like to help me flesh out my framework, my contact info is in my profile.

I live in the Seattle area and would love to meet up with anyone interested.

This post is basically Ancient Greek to me, as you put it.

I think I largely became curious since "these types of posts" tend to be highly ranked with relatively few comments, yet they still show up frequently.

I'm also surrounded by a large number of varying types of programmers and engineers, and I get to hear evangelizing and discussion of a wide array of technologies, but pure math type stuff like this never comes up. So combined that with the aforementioned observation and I become increasingly curious how these posts do well.

I would love you to go into more detail, though probably only for all the wrong reasons (such as my own entertainment).

Haskell, unfortunately, is still quite opaque to me.