From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9334 Path: news.gmane.org!.POSTED!not-for-mail From: "Eduardo J. Dubuc" Newsgroups: gmane.science.mathematics.categories Subject: "op"_Fred_and_Thurston Date: Fri, 8 Sep 2017 13:03:47 -0300 Message-ID: References: Reply-To: "Eduardo J. Dubuc" NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 8bit X-Trace: blaine.gmane.org 1504896475 6323 195.159.176.226 (8 Sep 2017 18:47:55 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Fri, 8 Sep 2017 18:47:55 +0000 (UTC) To: Emily Riehl , "categories@mta.ca" Original-X-From: majordomo@mlist.mta.ca Fri Sep 08 20:47:49 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 1dqOJQ-0000VI-Ff for gsmc-categories@m.gmane.org; Fri, 08 Sep 2017 20:47:32 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:37873) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1dqOKC-0005B4-G1; Fri, 08 Sep 2017 15:48:20 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1dqOIW-0006VL-BN for categories-list@mlist.mta.ca; Fri, 08 Sep 2017 15:46:36 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9334 Archived-At: 1) Two days ago by chance I come across an article of Bill Thurston: https://arxiv.org/pdf/math/9404236.pdf and seeing his name mentioned in this thread it occurs to me that everybody in this list should read it. In my opinion it is an extraordinary document about mathematics, mathematical activity and mathematicians. 2) Respect to to subject of this thread, the formal opposite of a category, denoted "op", is simply a notation very useful to work with functors which are contravariant in some variables, either with the "op" in the domain or the codomain of the functor arrow. Notations are important, and the "op" notation is essential in the language of categories and functors. 3) Finally, concerning Fred Linton, his death sadness me, he did important work in the early days of category theory, but more important, he was one of us, it was always a pleasure to encounter him, an he was a good guy. all the best e.d. On 07/09/17 14:03, Emily Riehl wrote: >> There is one other anecdote about UACT, nothing to do with Fred, that I >> have always loved. In the course of MSRI director Bill Thurston's >> opening remarks, he said words to the effect that the notion of the >> opposite of a category made him nauseous. This was the only meeting I >> have ever attended where fully half the attendees drew in enough breath >> to drop the air pressure by an audible amount. > > I?ll confess that the idea of an opposite category appearing as the codomain of a functor also makes me somewhat nauseated (the domain of course is no problem). > > But this said, in the interest of full disclosure, I should admit that in a joint paper with Cheng and Gurski someone ? Eugenia, I believe? ? convinced us that the easiest way to think of a functor > > C x D ?> E > > admitting right adjoints in both variables is as a functor > > C x D ?> (E^op)^op > > because in this way (writing E? for E^op) the other two adjoints also have the form > > D x E? ?> C^op > > and > > E? x C ?> D^op. > > Such two-variable adjunctions form the vertical binary morphisms in a ?cyclic double multi category? of multivariable adjunctions and parametrized mates: > > https://arxiv.org/abs/1208.4520 > > Regards, > Emily > > ? > Assistant Professor, Dept. of Mathematics > Johns Hopkins University > www.math.jhu.edu/~eriehl > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]