Collaborative modeling with domain-specific categorical logics: the early design of CatColab
Abstract
Category theory is a toolbox to build and interoperate formal languages for a wide array of domains, from logic and programming to data science and statistics to science and engineering. Despite having transformative potential, this viewpoint is not yet widely appreciated outside of specialized research communities. We believe that category-theoretic modeling can become a mainstay if it is embodied in useful technologies that do not require their users to have specialized mathematical knowledge. To this end, we are building CatColab, a new platform for formal, interoperable, conceptual modeling within domain-specific categorical logics. In this talk, we describe our early progress on CatColab, focusing on the interplay between the mathematical foundation and its embodiment as a technology intended for human use.