hypergraph#

The free hypergraph category with cospans of labeled hypergraphs as arrows.

Summary#

Hypergraph

A hypergraph is given by a domain, a codomain, a list of boxes, a list of spider types and a list of wires from ports() to spiders.

Functions

pushout

Computes the pushout of two finite mappings using connected components.