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.
R. Türker, L. Zhang, M. Koutraki, и H. Sack. The Semantic Web - 16th International Conference, ESWC 2019, Portoroz, Slovenia, June 2-6, 2019, Proceedings, том 11503 из Lecture Notes in Computer Science, стр. 346--362. Springer, (2019)
R. Türker, L. Zhang, M. Koutraki, и H. Sack. 49. Jahrestagung der Gesellschaft für Informatik, 50 Jahre Gesellschaft für Informatik - Informatik für Gesellschaft, INFORMATIK 2019, Kassel, Germany, September 23-26, 2019, том P-294 из LNI, стр. 283--284. GI, (2019)
R. Biswas, M. Koutraki, и H. Sack. Proceedings of the EKAW 2018 Posters and Demonstrations Session co-located with 21st International Conference on Knowledge Engineering and Knowledge Management (EKAW 2018), Nancy, France, November 12-16, 2018, том 2262 из CEUR Workshop Proceedings, стр. 29--32. CEUR-WS.org, (2018)
T. Mossakowski. Algebra, Meaning and Computation. Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, том 4060 из Lecture Notes in Computer Science, стр. 124-149. Springer; Berlin; http://www.springer.de, (2006)