Cospans and spans of graphs: a categorical algebra for the sequential and parallel composition of discrete systems

2009/09/23 by L. de Francesco Albasini, N. Sabadini, Albasini, L. de Francesco +3 · 1 citation
Computer Science · Mathematics · #Advanced Algebra and Logic #Category Theory (math.CT) #Data Visualization and Analytics #FOS: Mathematics #Topological and Geometric Data Analysis #math.CT

paper · pdf · doi:10.48550/arxiv.0909.4136

arxiv created 2009/09/23 · openalex publication_date 2009/09/23 · arxiv updated 2009/12/01 · openalex created_date 2016/06/24 · openalex updated_date 2026/07/28

Abstract

We develop further the algebra of cospans and spans of graphs introduced by Katis, Sabadini and Walters for the sequential and parallel composition of processes, adding here data types.

Citations

• Bicategories of processes
• An algebra of automata which includes both classical and quantum entities

Cited by

• Intercategories: A framework for three-dimensional category theory

Related

• The parallel composition of processes
• A process algebra for the Span(Graph) model of concurrency
• The compositional construction of Markov processes II
• Rewriting Structured Cospans
• Composing Behaviors of Networks