Coursera Plus Annual is 40% Off — Ends July 6.

Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Collaborative Modeling with Domain-Specific Categorical Logics - The Early Design of CatColab

Topos Institute via YouTube

Start learning Write review
Noble Desktop Ad

Live Online Classes in Design, Coding & AI — Small Classes, Free Retakes

Learn More → Financial Edge Ad

The Private Equity Associate Certification

Learn More →

Overview

AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
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.

Syllabus

[Berkeley Seminar] Evan Patterson: Collaborative modeling with domain-specific categorical logics

Taught by

Topos Institute

Reviews

Start your review of Collaborative Modeling with Domain-Specific Categorical Logics - The Early Design of CatColab

Start learning

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Sign up for free
Someone learning on their laptop while sitting on the floor.