I study the application and consequences of category-theoretic and related methods/ideas in logic and philosophy, in particular the philosophy of mathematics.