Articles

Getting Started

Limits, colimits, and graph rewriting in catlab

Core Concepts

Graphs and Visualization in catlab

Undirected Wiring Diagrams

Data Migration with Functors

Advanced Topics

Graph Rewriting: DPO, SPO, and SqPO

Open Systems and Typed ACSets