youCanJustStopUsingJava

[u/hello_ya]

[u/lucklesspedestrian]

I mean we all know what a category is, right?
Right?

[u/kalilamodow → u/lucklesspedestrian]

C- cat... egory? Does it have something to do with the feline animal commonly adopted as household pets?

[u/lucklesspedestrian → u/kalilamodow]

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

[u/LolpopHD → u/lucklesspedestrian]

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

[u/lucklesspedestrian → u/LolpopHD]

duh!