categorical logic, category theory, first-order logic, Higher-Order Modal Logic, Stone-type dualities, topos-theoretic semantics.