Categorische Logica
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...
