Watch a Berkeley seminar presentation exploring the development of CatColab, a groundbreaking platform designed to make category theory more accessible and practical across various domains. Delve into how category theory serves as a versatile toolkit for building and connecting formal languages across diverse fields including logic, programming, data science, statistics, and engineering. Learn about the early design stages of CatColab, which aims to democratize category-theoretic modeling by creating user-friendly technologies that don't require extensive mathematical expertise. Discover the intricate relationship between mathematical foundations and practical technological implementation in this hour-long talk that showcases how formal, interoperable conceptual modeling can be achieved within domain-specific categorical logics.
Overview
Syllabus
[Berkeley Seminar] Evan Patterson: Collaborative modeling with domain-specific categorical logics
Taught by
Topos Institute