de logica als categroische constructie.
Voorbeelden:
Een belangrijke Utrechtse specialiteit is de zogeheten Categorische Logica. Een categorie bestaat uit een collectie objecten, en een collectie morfismen; elk morfisme "gaat" van een object naar een ander object.
http://www.math.uu.nl/people/jvoosten/afstuderen.html
Categorische Logica ziet de Logica als een categorische constructie.
http://www.math.uu.nl/people/jvoosten/afstuderen.html
