Re: opposite category

[This sender failed our fraud detection checks and may not be who they appear to be. Learn about spoofing at http://aka.ms/LearnAboutSpoofing] 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 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]