scientific article; zbMATH DE number 2222245

MaRDI QIDQ5701017zbMATH OpenFDO

Authors Robert Rosebrugh, N. Sabadini, R. F. C. Walters

Publication date 2 November 2005

Full work available at URL https://eudml.org/doc/125973, http://www.emis.de/journals/TAC/volumes/15/6/15-06abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

automatacospan categoryfinite labelled graphsseparable algebra

Mathematics Subject Classification ID

Categories of machines, automata (18B20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Cospan/Span(Graph): an algebra for open, reconfigurable automata networks
• Homotopy composition of cospans
• Hypergraph categories
• A universal property of the monoidal 2-category of cospans of finite linear orders and surjections
• Recognizable languages of arrows and cospans

Cited in

(26)

• The algebra of partial equivalence relations
• Hypergraph categories
• Blocked-braid groups
• Ordinals in Frobenius monads
• The compositional construction of Markov processes. II
• A recipe for black box functors
• A structural and nominal syntax for diagrams
• Calculating Colimits Compositionally
• A Compositional Framework for Passive Linear Networks
• Spans of cospans
• Recognizable languages of arrows and cospans
• Props in Network Theory
• String diagram rewrite theory. I: Rewriting with Frobenius structure
• Structured cospans
• On the geometry and algebra of networks with state
• Homotopy composition of cospans
• A bicategory of decorated cospans
• Labelled cospan categories and properads
• Monoidal Width
• Categorifying equivariant monoids
• Rewriting modulo traced comonoid structure
• Context-free languages of string diagrams
• Structured and decorated cospans from the viewpoint of double category theory
• Double categories of open systems: the cospan approach
• Coherent algebras and the graph isomorphism problem
• Modular invariants for group-theoretical modular data. I

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5701017)