hypergraph#
The free hypergraph category with cospans of labeled hypergraphs as arrows.
Summary#
A hypergraph is given by a domain, a codomain, a list of boxes, a list of spider types and a list of wires from |
Functions
Computes the pushout of two finite mappings using connected components. |