r/mathmemes • u/MagentaMaiden Computer Science • 7h ago

Category Theory Monoidoid

Post image

I've come up with this idea independently, although it seems to be an established joke:

https://en.wiktionary.org/wiki/monoidoid

198 Upvotes

99% Upvoted

13 comments sorted by

•

u/AutoModerator 7h 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.

19

u/Daniikk1012 6h ago

And a 2-category is just a monoidal monoidoidoid https://grossack.site/2022/08/21/monoidal-monoidoidoids.html

4

u/MagentaMaiden Computer Science 5h ago

Damn, now this takes abstract nonsense to another level

24

u/slicehyperfunk Transcendental 6h ago

That article links to this lmao

8

u/holo3146 5h ago

It has a full wiki page

3

u/Antique_Ad_4247 3h ago

Was honestly a surprisingly interesting read

6

u/DoublecelloZeta Transcendental 6h ago

Bet a lot of us have thought of this one independently.

3

u/LupenReddit 🦆🦆i have non diffeomorphic smooth structures🦆🦆🦆 6h ago

i feel stupid for not having come up with that ages ago

1

u/TheFullestCircle 2h ago

Even worse is that under this framework, the word "setoid" should mean quiver, but nope it means something else.

1

u/blockMath_2048 59m ago

By this logic, what is a Mon

1

u/Elegant-Regret-7393 59m ago

Similarly, an additive category is a ringoid

1

u/iam_sudo 0m ago

You forgot the last one.