Category theory

intro
https://www.youtube.com/watch?v=ZG6t0-JMrw0 intro to category theory with dicord channel and book reference. from https://www.youtube.com/@MetaMaths https://www.youtube.com/watch?v=yAi3XWCBkDo Remember when I used a video with a coconut in the thumbnail to drive a stake through the heart of mathematical structure? Today, in this introduction to the basics of category theory, I attempt to remove it. by https://www.youtube.com/@OliverLugg

pastebin
https://pastebin.com/QMvKZdFD category theory

youtube
https://www.youtube.com/watch?v=U56kGttITyI&list=PLuFcVFHMIfhKFQJsilw-W7dVtPprKU3-f by https://www.youtube.com/@VisualMath https://www.youtube.com/watch?v=qy1KCbILM18&list=PL4FD0wu2mjWOtmhJsiVrCpzOAk42uhdz8&index=6 category theory is about distilling the context out of the content. Oop and functional programming(Rust, Haskell) are both means of solving the contrived problem of restricted global state(functions inside the struct). The essence of oop reverse dependency injected, factory pattern getting visitor patterned is restricted global state and how this trashes the Cache event because a garbage collector is essential, opening up a malware attack vector as well. https://www.youtube.com/watch?v=PVDKhxLTGzc https://www.youtube.com/watch?v=dwNxVpbEVcc https://www.youtube.com/watch?v=H0Ek86IH-3Y&t=56s

quora
https://www.quora.com/What-are-some-real-life-applications-of-category-theory or(https://archive.ph/NthG8#selection-10837.264-10837.324)

theory
https://cstheory.stackexchange.com/questions/21387/whats-the-relation-between-oop-and-category-theory There are absolutely some relationships between the semantics and practice of OOP and category theory. This is somewhat unsurprising since both fields attempt to give a principled generic account of structure and behavior in a synthetic manner. The most apparent work I am aware of is the categorical semantics of UML, which is admittedly different from OOP in the large, but I think captures much of the crux of the debate on the semantics of objects themselves. One example is Zinovy Diskin's Mathematics of UML

https://bartoszmilewski.com/2014/11/24/types-and-functions/ https://www.youtube.com/watch?v=t1e8gqXLbsU&list=RDLVjBkO1eerU8A&index=10  monads

generic programming
metaphorical wordsalad:' ".... https://en.wikipedia.org/wiki/Generic_programming#Example The disadvantage of this fine-grained control is a complicated syntax, but, because all generic formal parameters are completely defined in the specification, the compiler can instantiate generics without looking at the body of the generic....."

From the premise that translating data is your only goal within a system that is fundamentally about the management of state(to prevent unpredicable behaviour), this complicated syntax of restricted global state is only possible to translate back into pseudo local state for mathematicians speaking category theory. Speaking Sanskrit and English doesn't make you a genius, it makes you bilingual. For the native speaker of categoreez there isn't anything complicated about functions written in terms of types late binded with a void pointer. Programming in types is using a secret https://en.wikipedia.org/wiki/Cipher to decrypt metaphorical wordsalad into graph morphisms.

The more obvious it becomes that the opening paragraph from wikipedia is meaningless gargoyle, the more the "software engineers" psyops you into hiding your dumbfoundness so you don't look stupid, No true Scotsman fallacy.

links
https://ncatlab.org/nlab/show/object-oriented+programming

oop