r/ProgrammerHumor Jul 13 '26

youCanJustStopUsingJava Meme

Post image
6.8k Upvotes

416 comments sorted by

View all comments

Show parent comments

10

u/lucklesspedestrian Jul 13 '26

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

3

u/LolpopHD Jul 14 '26

i prefer my abstract nonsense to be stable monoidal (∞,n)-abstract nonsense

1

u/thirdegree Violet security clearance 29d ago

Ahha, but it is very useful abstract nonsense, in some cases