pub fn th_category_links() -> DiscreteTabTheoryExpand description
The theory of categories with links.
A category with links is a category C together with a profunctor from C to
Arr(C), the arrow category of C.
Primitive stock and flow diagrams are free categories with links.