Daily Archives: February 22, 2013

Notes On Categories : 1

Continued from “Notes On Categories” (14 Jul 2003) • Inquiry List • Ontology List NB.  This page is a work in progress.  I will have to dig up some still older notes from the days of pen and paper before … Continue reading

Posted in Category Theory, Computation, Graph Theory, Logic, Mathematics, Relation Theory, Type Theory | Tagged , , , , , , | 1 Comment