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 Abstraction, Category Theory, Computing, Graph Theory, Logic, Mathematics, Relation Theory, Type Theory | Tagged , , , , , , , | 3 Comments