>>13561977Joy of cats is a really horrible book
>>13564154Look at any paper.
If you e.g. look at Scholze ppapers (yes I know, it's not just topology), it's written entirely in terms of categories
>>13564790That's incorrect, there's first order formulations of category theory (with a teriary concatenation symbol in the signature), you can check it on the nLab. Not that anybody actually used it.
>>13565036I'm certain there's a dedicated Wikipedia page
