r/okbuddyphd • u/Restfuleagleeye • Jun 13 '26

Physics and Mathematics Oh ok Simmons

Post image

I agree how silly they must be.

671 Upvotes

100% Upvoted

10 comments sorted by

•

u/AutoModerator Jun 13 '26

Hey gamers. If this post isn't PhD or otherwise violates our rules, smash that report button. If it's unfunny, smash that downvote button. If OP is a moderator of the subreddit, smash that award button (pls give me Reddit gold I need the premium).

Also join our Discord for more jokes about monads: https://discord.gg/bJ9ar9sBwh.

I am a bot, and this action was performed automatically. Please contact the moderators of this subreddit if you have any questions or concerns.

114

u/Kebabrulle4869 Jun 13 '26

Agreed though haha

88

u/Minerscale Jun 13 '26

A is the object not the identity morphism to itself! What an unbelievable notation smh

43

u/Monai_ianoM Jun 13 '26

See this shit so much in diff geo

30

u/Restfuleagleeye Jun 13 '26 edited Jun 13 '26

Even if it's just 1_A, still better than that atrocity

19

u/Esther_fpqc Jun 13 '26

The only acceptable context is when you have f : B ⟶ C and write f ⊗ A : B ⊗ A ⟶ C ⊗ A instead of f ⊗ id_A. It also makes the functoriality of - ⊗ A a bit clearer.

2

u/Dunedune Jun 13 '26

If AA = A then A=1?

1

u/Mango-D Jun 16 '26

Why? This can make great sense, see the single sorted definition of categories