categorical logic categorical logic and type theory categorical logic philosophy categorical logic examples categorical logic definition categorical logic vs propositional logic categorical logic venn diagrams categorical logic meaning categorical logic pdf categorical logic nlab