You don't know what you're talking about. Applications of category theory to computer science predate the first US computer science department. There weren't any computer science jobs to speak of.
Categorical logic is larger than elementary topoi. I would wager that you can't name a logic not expressible in category theory.
Categorical logic is larger than elementary topoi. I would wager that you can't name a logic not expressible in category theory.