[red_trumpet]

That's a nice post, and it actually reinforces my thoughts: You already need a foundational theory before coming to category theory.

[sylware]

Well... then set theory with core logic still THE foundation then.