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.

I have often seen it remarked in passing that the "collection of objects" that appears in the standard definition of a category is, strictly speaking, superfluous, and that it is possible to give an equivalent definition of categories that dispenses with it altogether and uses morphisms only. But, after this nod to such a possibility, it is dropped.

Is there any good introduction to category theory that takes the arrows-only approach in earnest?

Thanks!

share|improve this question
2  
I think Freyd-Scedrov Categories, Allegories qualifies, even though I wouldn't recommend it as an introduction to category theory. –  t.b. Jul 30 '11 at 14:29
4  
Objects can be identified with their identity arrows, so I don't know if this approach is really all that different. –  Qiaochu Yuan Jul 30 '11 at 14:31
2  
Here is a arrows-only definition of a category, if you haven't already seen it. As Qiaochu has remarked, it's just clever trickery, albeit one that leads to inequivalent generalisations. –  Zhen Lin Jul 30 '11 at 15:21
    
@Zhen: Could you expand on your comment? Are you just thinking of the "internalization" and $n$-ification mentioned on the nlab or do you have something more interesting in mind? –  t.b. Jul 30 '11 at 15:47
    
@Theo: Yes, I was referring to the comment in nLab which indicates that an internal one-sorted category may not give rise to an internal two-sorted category if the background category does not have split idempotents. But I don't personally know why one might consider such internal categories... –  Zhen Lin Jul 30 '11 at 16:41

1 Answer 1

I've already answered this question elsewhere.

But I just wanted to warn you. I remember when I first learned category theory from MacLane's "Category theory for working mathematicians" I was fascinated by this object-free definition of category, especially because it shows more easily why monoids are one object-categories.

By the way I've learn later that this is not the best way to presents categories mostly because this kind of definition made it a little artificial presenting many classical examples: structured sets and morphisms between them, but also preorder and poset, in my personal opinion, are more easly understood as categories through the classical definition.

Reading the link that Zhen Lin posted in a comment, it seems to me that this kind of definition it's also more complex to generalize to the $\infty$-dimensional version (but maybe that's just me).

Edit: I also think this post can be interesting for this discussion.

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.