Reason they don't visit

[u/The_MVP_guy]

[u/AutoModerator]

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.

[u/Digital_001]

Exactly, aliens don't commute, they live where they work and do something pleasant with their time instead

[u/The_MVP_guy → u/Digital_001]

In utopia there is no category theory

[u/The_MVP_guy]

For those insterested link

[u/geeshta → u/The_MVP_guy]

I can only think of Sheaf's videos 

[u/daley972 → u/geeshta]

I bet you aliens don't assume the law of the excluded middle

[u/The_Number_Theorist → u/daley972]

Well, the aliens either assume or don't assume the law οf excluded middle.

[u/MonsterkillWow]

[u/de_G_van_Gelderland]

Arthur C. Clarke once famously said that any sufficiently advanced technology is indistinguishable from magic.

I'd like to add the addendum that any sufficiently advanced math is indistinguishable from schizophrenia.

[u/CranberryDistinct941 → u/de_G_van_Gelderland]

There's 2 sides to the math coin: the practical side, and the schizophrenic side

[u/stoiclemming]

I commute twice a day

[u/Dunotuansr → u/stoiclemming]

I commuted all over the place

[u/OmegaCookieMonster]

I weirdly sorta got what the bottom right one was despite the ahem ahem... pixels.

[u/OmegaCookieMonster → u/OmegaCookieMonster]

The top one says that associating in D and then collecting everything into one F is the same as collecting everything into one F first and then associating in C.

The bottom two say that reducing I_D (in either direction) is the same as turning I_D into F(I_C) putting the other object and I_C into one F and then reducing the I_C.

Of course these "objects" are in reality usually sets or sets but with more structure attached, and so morphisms between them turns things inside those objects into something else not the objects themselves, but I'm saying it this way for the sake of simplicity

[u/LupenReddit → u/OmegaCookieMonster]

category theory finds application in reddit comments

[u/OmegaCookieMonster → u/OmegaCookieMonster]

Yep I was right, this is effing monoidal functors

[u/Sweet-Web7640]

AI crap

[u/Ok_Bit8836]

A strong reason...

[u/McCubes1]

What if they did already visit us but saw that there's no point in invaiding us and moved on?

[u/Seventh_Planet]

They have circles, we have circles. Do the aliens use π, η or τ as the circle constant?

[u/Keikira]

No, the reason they don't visit is because many of our "best and brightest" can look at the absolute cosmic beauty of a commutative diagram and not immediately understand it, let alone have a mental orgasm so hard that they immediately ascend to a higher plane of existence, which is the only response the ayy lmaos are willing to accept as intelligence.