No.11169726 ViewReplyOriginalReport
Surely there must be a better future for maths than hundreds and hundreds of pages of category theory to prove literally anything.