Re: opposite category

Robert Pare wrote:

He said there may come a time when we have to consider covariant functors as contravariant ones on the opposite category.

This anecdote seems to have prompted a few posts about opposite categories, but I thought the point of the original anecdote was that Fred said that *covariant* functors should be considered as contravariant functors on the opposite category, i.e., that he considered contravariant functors to be the more fundamental concept. An interesting thought, and obviously tongue-in-cheek. -- Peter