The Fundamental Theorem of Categories disposes Programmers.
March 15th, 2010 • Uncategorized
The constructive proof of the Theorem, “The category of Profunctors over Bi-categories is a Bi-category”, provides an automatic means of generating compilers. Thus traditional tools such as C-programmers can be disposed of.