It looks like you're new here. If you want to get involved, click one of these buttons!
A lot of what I am doing is related to AQL. https://github.com/CategoricalData/fql
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. https://johncarlosbaez.wordpress.com/2015/03/27/spivak-part-1/ Specifically I have a github repository. https://github.com/babeloff/categories