Is it possible to formulate category theory without set theory?
math.stackexchange.com
math.stackexchange.com
I found Carl Mummert's answer especially illuminating and definitely recommend reading it. He compares category theory to a strongly typed language, and set theory to a weakly typed one.