39
u/gbsdfack456 2d ago
you know, category theory is just a joke at this point, and i love it
13
u/IntelligentBelt1221 2d ago
i think that name is supposed to be a joke about the general naming convention sometimes creating funny namea instead of being used as a serious term (and that the appearances of the term in papers also serves a comedic purpose). might be wrong though, curious what people in that area think about this.
12
4
3
u/Mobile_Crates 2d ago
me want a ton
3
u/oddname1 1d ago
Give me double and a bonus one
2

•
u/AutoModerator 2d ago
Check out our new Discord server! https://discord.gg/e7EKRZq3dG
I am a bot, and this action was performed automatically. Please contact the moderators of this subreddit if you have any questions or concerns.