Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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.

share|improve this question
    
To only have to check half as much when verifying commutativity of a diagram? :-) –  Eric Towers Mar 10 at 9:29
1  
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
2  
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
3  
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

1 Answer 1

up vote 0 down vote accepted

Since even relations can be expressed as arrows ...one could in principle also define relations as unordered pairs however they always simultaneously are given as ordered pairs so there's no gain in doing so

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.