choosing total relations gives directionalityLast updated Jul 23, 2024Tags: Total relation, Compact closed category, directionality in monoidal categories.
