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

Saul Youssef