3 ms·

Isn’t category theory only from like, the 1940s? We’ve had plenty of great mathematicians before then.