I don’t know why I’m here

I understand nothing

But I think I’m having fun

Is this loss?

I’m always on the edge of ‘category theory might be fun to get the gist of’ and ‘what the fuck is this what cocaine addict came up with it burn it with fire’. This pushes me more towards the latter.

This is what happens when you let the algebraists play at doing foundations.

Ok, children it’s time to go back upstairs now, the set theorists grown ups need some peace.

Oh, monoidal homotropy? Kinky stuff

Before checking the comments I was like “wait is this real maths or just ramblings from some mentally ill tech bros” but I guess it’s real?