The foundational principles of categorical logic are centred around the usage of categories to express logical concepts, primarily focusing on objects representing types or propositions and morphisms embodying proofs or transformations. It builds on the structure and relationships within categories to model logical inference and reasoning.