Relations are hard to model in category theory | Heykuki News