Advanced logic, like model theory, type theory, etc
So basically this
>>13496852>>13495717No, not even fucking close. Classical fields like geometry and algebra are harder than category theory. Just because its abstract doesn't mean its hard, most of the results in it are obtained very easily.
