Aldor Related Projects
Category Theory in Aldor
The idea is to begin a library of Aldor categories and domains organized around category theory
in the mathematical sense. In more detail, the goals are to a) find working design patterns for
categories, functors, natural transformations, adjoints within Aldor b) encode known facts about
category theory (the adjoint functor theorem, for example) into the system c) produce a library
implementing the most basic and useful categories.
Here's a recent talk and the draft of a paper