The open-source Categorical Query Language (CQL) and integrated development environment (IDE) performs data-related tasks — such as querying, combining, migrating, and evolving databases — using category theory, a branch of mathematics that has revolutionized several areas of computer science. Open-source CQL is production-ready for single-node in-memory data processing workloads, such as integrating data for data science. It is being commercialized by Conexus AI.
Category theory is a relatively new branch of mathematics that has transformed much of pure math research. The technical advance is that category theory provides a framework in which to organize formal systems and by which to translate between them, allowing one to transfer knowledge from one field to another. But this same organizational framework also has many compelling examples outside of pure math. In this course, we will give seven sketches on real-world applications of category theory.
C. Barwick, and C. Schommer-Pries. (2011)cite http://arxiv.org/abs/1112.0040arxiv:1112.0040Comment: 46 pages, 2 figures. Corrections of a formatting error and addition of clearer acknowledgements.
S. Lack, and R. Street. Journal of Pure and Applied Algebra, 175 (1–3):
243 - 265(2002)Special Volume celebrating the 70th birthday of Professor Max Kelly.
J. Baez, and J. Dolan. (1997)cite http://arxiv.org/abs/q-alg/9702014arxiv:q-alg/9702014Comment: 59 pages LaTex, uses diagram.sty and auxdefs.sty macros, one encapsulated Postscript figure, also available as a compressed Postscript file at http://math.ucr.edu/home/baez/op.ps.Z or ftp://math.ucr.edu/pub/baez/op.ps.Z.
U. Fahrenberg. Foundations of Software Science and Computational Structures, volume 3441 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2005)