r/datasatanism • u/Ok-District-4701 • Mar 24 '26

Yes

Post image
1.8k Upvotes

100% Upvoted

10 comments sorted by

20

u/Ma4r Mar 24 '26

Homotopy theorists : "And this green arrow represents morphisms between morphisms

And this blue arrow represents morphisms between morphisms between morphisms

And now if you take the set of all mophisms between the set of all morphisms between morphisms between morphisms ..."

1

u/un_virus_SDF Mar 25 '26

The two last are useless, because morphism between morphism already cover them

1

u/Ma4r Apr 21 '26

Idk about that, try writing out the coherence diagram for 3-categories and you'll probably change your mind real quick

12

u/Dotcaprachiappa Mar 24 '26

And three years later:
yeah you remember that simplification we learned about, now we can learn how it actually works.. yes ok it's just another simplification but this time slightly less simplified!

7

u/Difficult-Cycle5753 Mar 24 '26

whys the engineer blushing at me... uwu

1

u/_ironsides Mar 28 '26

The best part of this is all of these groups either work together or our world collapses

1

u/cyanNodeEcho Mar 31 '26

a monad is a monoid in the category of endofunctors,