hypergraph

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

Summary

Spider	The labels of spiders can be of any type.
Wires	Wires are n-tuples of Spider labels.
Boundary	A boundary is a pair of input and output Wires.
Wiring	The wiring of a hypergraph is given by a triple dom_wires, box_wires, cod_wires where (dom_wires, cod_wires) is the Boundary of the overall hypergraph while box_wires are the boundaries for each of its boxes.
SpiderTypes	Mapping from Spider to atomic frobenius.Ty.
Hypergraph	A hypergraph is given by:

Functions

pushout

Computes the pushout of two finite mappings using connected components.