This is a collection of materials to support the "An Introduction to Categorical Computing with Catlab" mini-course at the 2025 Canadian Mathematical Society Winter Meeting.
These materials include scripts, slides, Catlab and installation guidance.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
This is a collection of materials to support the "An Introduction to Categorical Computing with Catlab" mini-course at the 2025 Canadian Mathematical Society Winter Meeting.
These materials include scripts, slides, Catlab and installation guidance.