From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/261 Path: news.gmane.org!not-for-mail From: Paul Taylor Newsgroups: gmane.science.mathematics.categories Subject: Re: Category of categories with pullbacks is cartesian closed Date: Thu, 23 Apr 2009 12:02:36 +0100 Message-ID: Reply-To: Paul Taylor NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 (Apple Message framework v624) Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1240500288 24291 80.91.229.12 (23 Apr 2009 15:24:48 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 23 Apr 2009 15:24:48 +0000 (UTC) To: Categories list Original-X-From: categories@mta.ca Thu Apr 23 17:26:05 2009 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.50) id 1Lx0oN-0005HZ-Cm for gsmc-categories@m.gmane.org; Thu, 23 Apr 2009 17:26:03 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1Lx09n-0001Dv-TB for categories-list@mta.ca; Thu, 23 Apr 2009 11:44:07 -0300 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:261 Archived-At: John Bourke > noticed recently that the category whose objects are categories with > pullbacks and whose morphisms are pullback preserving functors is > cartesian closed. Given a pair of categories with pullbacks A and B, > the internal hom [A,B] has objects: pullback preserving functors from > A to B, and morphisms: cartesian natural transformations. > I have posted a short paper on the arxiv proving this fact: > http://arxiv.org/abs/0904.2486 > It seems like a fairly natural fact but is not to my knowledge in the > literature. I am wondering whether anyone was previously aware of > this result, and if so whether it might be mentioned somewhere in the > literature? Along with Francois Lamarche and various other people that I don't clearly recall, I did a lot of work on this idea in the early 1990s. I was based on earlier ideas by Pierre Ageron, Gerard Berry, Yves Diers, Jean-Yves Girard, Peter Johnstone, Andre Joyal, Christian Lair, ... Since the motivations came from either domain theory or generalisations of algebraic theories, the functors that were considered also preserved directed joins or filtered colimits, but these are not relevant to the basic cartesian closed structure. One of the best known categories of posets like this is that of "coherence spaces", which were described in Girard's book "Proofs and Types", which Yves Lafont and I translated. Earlier work by Berry had been the beginning of the search for models of the notion of sequentiality in programming languages. That by Diers had been about a generalisation of algebraic theories to cover the case of fields, with unique disjunction. In the categorical setting, I considered functors that preserve pullbacks. However, Andre Joyal, Francois Lamarche and others considered functors that preserve squares that differ from a pullback by an epi. Then there's the question of whether to preserve equalisers and/or cofiltered limits; for such generalisations I introduced the term "wide pullback". Girard's version had a representation of the function-space. I put this in categorical form by showing that there is a factorisation system in which the "epis" are maps with left adjoints and the "monos" are similar to discrete fibrations. This system is closely related to the Street--Walters "comprehensive" fibration. I described a model whose objects are called "quantitative domains" and which involves permutation groupoids. See www.PaulTaylor.EU/stable/ for my stuff on this subject. There has been renewed interest in some of these things, for which you should look out for words like "species", "shape", "container". Paul Taylor