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

(57:34)

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

(32:8)

CMPT 856 -- Categorical Rewriting on ACSets/Copresheaves Introduction

(44:3)

CMPT 856: Rewriting Pragmatics Summary

(33:48)

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.5--Finding homomorphisms as querying: Patterns\u0026Homomorphisms in an Agent-Inspired Schema

(1:15:55)

CMPT 371: A Few Examples of Contracts and Specifications for Software Abstractions

(1:3:24)

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

(1:37:52)