pub fn th_signed_category() -> UstrDiscreteDblTheoryExpand description
The theory of signed categories.
A signed category is a category sliced over the group of (nonzero) signs. Free signed categories are signed graphs, a simple mathematical model of regulatory networks and causal loop diagrams.