A java-based category theoretic data management system.