choosing total relations gives directionality

Tags: total relation, Compact closed category, directionality in monoidal categories.