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!