de logica als categorische constructiede logica als categorische constructie
'Categorische logica' is de tak van de wiskunde waarin hulpmiddelen en concepten uit de categorietheorie worden toegepast op de studie van wiskundige logica.'Categorische logica' is de tak van de wiskunde waarin hulpmiddelen en concepten uit de categorietheorie worden toegepast op de studie van wiskundige logica.