Substructural logics and category theory are coming to mind - lots of binary relations with varying axioms apply to process networks