[jonah-archive]

I'm maybe too close to the problem to evaluate well (studied foundational math) but I know that Lawvere and Schanuel's book "Conceptual Mathematics" has been fairly well-regarded as a path into category theory.