From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9346 Path: news.gmane.org!.POSTED!not-for-mail From: Vaughan Pratt Newsgroups: gmane.science.mathematics.categories Subject: Re: opposite category Date: Fri, 15 Sep 2017 18:20:01 -0700 Message-ID: References: Reply-To: Vaughan Pratt NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit X-Trace: blaine.gmane.org 1505587600 32012 195.159.176.226 (16 Sep 2017 18:46:40 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sat, 16 Sep 2017 18:46:40 +0000 (UTC) To: Categories List Original-X-From: majordomo@mlist.mta.ca Sat Sep 16 20:46:36 2017 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.40]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dtI6t-0008AF-QS for gsmc-categories@m.gmane.org; Sat, 16 Sep 2017 20:46:35 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:42074) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1dtI89-0007Dw-PI; Sat, 16 Sep 2017 15:47:53 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1dtI6V-0000Ta-OS for categories-list@mlist.mta.ca; Sat, 16 Sep 2017 15:46:11 -0300 In-Reply-To: Content-Language: en-US Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9346 Archived-At: Well, one could look to the various power set functors for guidance there. When you refer to the contravariant power set functor, it may be contrary but it's reliably so and people know what you mean. But "the" covariant power set functor??? What's that??? It's like Trump: one day he's agreeing with the Elephants, the next with the Scientific Consensus. If there are more than two covariant power set functors maybe we'll see yet another side of Trump, perhaps a side from another dimension. Give me good old reliable contravariant.???? Mind the pence and the pounding will take care of itself. Oh but wait, there's profunctors,?? ??: A' x B --> V.???? Which way do /they /go? The Elephant (kindle edition $4.99 ) says they go from A to B.?? The Consensus, being a bunch of Deniers, says ("bunch" is singular) they go from B to A. Who to believe??? It's enough to make anyone lose their composure. (Oh but wait, there's left Kan extensions.) Vaughan PS?? How many covariant power set functors according to the Elephant??? Does every element of ?? get one? On 09/14/17 8:58 AM, Peter Selinger wrote: > 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/ ]