CMPT856: Structured cospans:Integrating examples\u0026theory for composing open systems\u0026their adjunctions

(1:24:29)

CMPT856 -- Example: Structured Multicospans \u0026 UWDs for Flexible Causal Loop Diagram Composition

(31:11)

CMPT856 -- Double Category Examples, Basics and Motivations

(1:41:37)

CMPT856 Lec.2--Hands-on homomorphisms (Structure-preserving maps) between C-Sets in Catlab \u0026 Theory

(1:15:17)

CMPT 856: Data Migration Functors Redux and Relation to Structured Cospans, DataMigrations.jl

(32:8)

CMPT856 -- Understanding Models of Double Theories \u0026 their Lax Double Functors

(59:12)

CMPT856 Lec.5--Finding homomorphisms as querying: Patterns\u0026Homomorphisms in an Agent-Inspired Schema

(1:15:55)

CMPT 856:Composing open systems via structured cospans of CSets \u0026 their basis in adjunctions

(1:30:35)

CMPT856 Lec.4--Category of CSet instances\u0026homomorphisms, and their structures, category of elements

(1:20:57)

CMPT856 Lec.3--Homomorphisms between discrete dynamical systems encoded as C-Sets in Catlab \u0026 Theory

(1:15:4)

CMPT856 Lec.8 (abridged): Pushouts in various CSet categories

(41:31)

CMPT856 Lec.9--From CSets to ACSets, mixing relational \u0026 attribute data, introducing @acset_colim

(1:37:52)

CMPT856 Lec.8--Models as data, pushouts in various CSet (copresheaf) categories \u0026review

(1:16:59)

Structured Part

(21:16)

CMPT856 Categorical Modeling \u0026 Simulation Lecture 1: Exploring C-Set basics, theory and in Catlab

(1:29:51)