# Category Theory: Why arrows?

Category Theory as far as I understood is about how objects are related to each other.

So why do we then consider "directed" morphisms rather then "undirected" ones?

I mean for example relations between sets rather than maps between sets as these are more general. Sure, plain relations can be covered within the category approach too but goin the other way around would be more plausible.

-
To only have to check half as much when verifying commutativity of a diagram? :-) –  Eric Towers Mar 10 at 9:29
I mean, it is because category theory is the study of relation by structure preserving maps. Maps are directed. –  Alex Youcis Mar 10 at 9:30
Have you had a look at allegories? I mean, not that binary relations wouldn’t define arrows as well. Binary relations are directed. –  k.stm Mar 10 at 9:31
Also relations are directed, so you still need an arrow. –  magma Mar 10 at 9:34
Aaahhh =D you're right relations are directed too ...thx man thats it =D ...can u post this as answer? –  Freeze_S Mar 10 at 10:14