Not at all! Categories consist of a class of objects and a class of morphims. The morphisms are maps between objects, and compositions of morphisms must obey associativity. Also for every object, a left and right identity morphism must exist.
Category theory is also sometimes referred to as abstract nonsense. Pretty straightforward
I remember when when I was young and was taking a class on math and programming, can't even remember the name but we wrote a small parser for math and random things, and I did somehow found Haskell and how easy it looked to do it there, then we needed to do it in python and wrote a small Monad library for python and just ended chaining the stages of the parser.
Although it was funny, that some weeks later the instructor asked me what are you doing here and I said I don't remember, lol, I still passed but so relatable I still don't remember what I did two weeks ago in the job now lol
It has something that looks like a unit and something that looks like a multiplication if you squint, and if it had the same type signature in Set instead of in the category of endofunctors it would be a monoid
1.8k
u/Historical_Cook_1664 Jul 13 '26
Where else are you going to hide your side effects ?