Abstract: The task of constructing compositional semantics for network-style diagrammatic languages, such as electrical circuits or chemical reaction networks, has been dubbed the black boxing problem, as it gives semantics that describes the properties of each network that can be observed externally, by composition, while discarding the internal structure. One way to solve these problems is to formalise the diagrams and their semantics using hypergraph categories, with semantic interpretation a hypergraph functor, called the black box functor, between them. Reviewing a principled method for constructing hypergraph categories and functors, known as decorated corelations, in this paper we construct a category of emph{decorating data}, and show that the decorated corelations method is itself functorial, with a universal property characterised by a left Kan extension. We then argue that the category of decorating data is a good setting in which to construct any hypergraph functor, giving a new construction of Baez and Pollard's black box functor for reaction networks as an example.
Recommendations
- A Compositional Framework for Passive Linear Networks
- Decorated Corelations
- A compositional framework for reaction networks
- Hypergraph categories
- Full abstraction for signal flow graphs
- Structured cospans
- An algebraic foundation for graph-based diagrams in computing
- Props in Network Theory
- The calculus of signal flow diagrams. I: Linear relations on streams.
- Coarse-graining open Markov processes
Cites work
- A compositional framework for Markov processes
- A Compositional Framework for Passive Linear Networks
- A compositional framework for reaction networks
- Calculating Colimits Compositionally
- Cospan/Span(Graph): an algebra for open, reconfigurable automata networks
- Decorated Corelations
- Decorated cospans
- scientific article; zbMATH DE number 3574077 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 1522866 (Why is no real title available?)
- scientific article; zbMATH DE number 2222245 (Why is no real title available?)
- Hypergraph categories
- Introduction to bicategories
- Matrices, relations, and group representations
- The calculus of signal flow diagrams. I: Linear relations on streams.
- The compositional construction of Markov processes
Cited in
(6)
This page was built for publication: A recipe for black box functors
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3294963)
