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: Structured cospans:Integrating examples\u0026theory for composing open systems\u0026their adjunctions

(1:24:29)

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

(1:15:55)

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

(41:31)

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

(1:15:4)

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

(59:12)

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

(1:20:57)

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

(1:37:52)

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

(1:15:17)

6. Examples Demonstration

(22:22)

CMPT 856: Rewriting Pragmatics Summary

(33:48)

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

(32:8)

CMPT856 Lec.6--Graphs:Terminal\u0026initial,products\u0026coproducts, causal loop diagram homomorphisms

(1:39:3)

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

(1:16:59)

CMPT 856 -- Categorical Rewriting on ACSets/Copresheaves Introduction

(44:3)

CMPT 856: AlgebraicABMs: Whirlwind Overview of the Emerging Platform, Categorical Support for ABMs

(57:34)

5. Examples Demonstration

(24:5)