A lot of what I am doing is related to AQL.
I am developing a language for expressing categories and category families.
The specific sub goals are:
* Data model [category] migration and integration.
A data model is an instance of a schema [which are categories].
* Identify/Develop a categorical language using computational data structures.
In particular I am doing this in Clojure.
* Publish categories
This builds on David Spivak's idea of published ologs.
Specifically I have a github repository.
* Investigate visualizers, editors and other interpreters.
Too many to call out, but I am currently reevaluating the https://webgme.org/ tooling concepts in categorical terms.
The main GME concepts are: containment, inheritance, sets, pointers, class-diagrams, and rules.
Presently these two versions have similar but distinct data-models.