Spans of cospans

zbMath1412.18008arXiv1611.07886MaRDI QIDQ4563230

Daniel Cicala

Publication date: 7 June 2018

Full work available at URL: https://arxiv.org/abs/1611.07886

zbMATH Keywords

graph rewritingbicategorynetwork theoryspansadhesive categorycospans

Mathematics Subject Classification ID

Related Items (2)

Categorifying the ZX-calculus ⋮ Spans of cospans in a topos

Cites Work

• Unnamed Item
• Sheaves in geometry and logic: a first introduction to topos theory
• Comparing operational models of name-passing process calculi
• A compositional framework for Markov processes
• Intercategories
• Calculating Colimits Compositionally
• Toposes Are Adhesive
• A Compositional Framework for Passive Linear Networks
• Introduction to bicategories
• Term Rewriting and All That
• Foundations of Software Science and Computation Structures

This page was built for publication: Spans of cospans