Coming back to this very old discussion, which I just happened across: it’s not clear to me that it’s really buying us very much here to think of a projective line as a category. In contrast to the case of metric spaces, where the axioms of a metric space really are literally the axioms of an enriched category, here it seems that the real data of a projective line resides in the cross-ratio axioms that are imposed on top of the category structure and essentially subsume it (in particular, he shows that if a map preserves cross-ratios then it is automatically a functor). So it seems that really we are just saying that a projective line is a set equipped with a cross-ratio operation.

]]>I see that Anders has written up his observation:

]]>I was holding off in case someone had something specific to say to your actual question, but no-one has (you could try it on MathOverflow) so I'll chip in with something else.

Together with 'metric spaces as enriched categories', this seems to be a nice example of 'everyday object seen through the eyes of category theory'. When I get a minute, I'll put these two examples on a page in the lab and it'd be nice to add to them.

Specifically to this example, I wonder what the functors are. Do you (Gavin) know? Did Anders say anything about that? It probably wouldn't be hard to work out and of course I'd do that on the proposed page but I wondered what was already known.

]]>