From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8317 Path: news.gmane.org!not-for-mail From: Claudio Hermida Newsgroups: gmane.science.mathematics.categories Subject: Re: Is the category of group actions LCCC? Date: Fri, 05 Sep 2014 15:33:37 -0300 Message-ID: References: Reply-To: Claudio Hermida NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1410018434 11277 80.91.229.3 (6 Sep 2014 15:47:14 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 6 Sep 2014 15:47:14 +0000 (UTC) Cc: categories@mta.ca To: Richard Garner , Ross Street , Timothy Revell Original-X-From: majordomo@mlist.mta.ca Sat Sep 06 17:47:08 2014 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.127]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1XQICi-0005rO-14 for gsmc-categories@m.gmane.org; Sat, 06 Sep 2014 17:47:08 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:43950) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1XQIBz-0003HX-0W; Sat, 06 Sep 2014 12:46:23 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1XQIBy-0000xq-2N for categories-list@mlist.mta.ca; Sat, 06 Sep 2014 12:46:22 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8317 Archived-At: On 2014-09-04, 10:05 PM, Richard Garner wrote: > It seems that the following is in fact true: > > Let p: E ----> B be a fibration. If B is cartesian closed, each fibre is > cartesian closed with exponents stable under pullback, and Pi's exist > along product projections (and satisfy BCC), then E is cartesian closed. > > The product of (a, phi) with (b, psi) in E is of course (a x b, > pi_1^*(phi) x pi_2^*(psi)) with pi_1 : a <--- a x b ----> b : pi_2 the > product projections in B. > > The internal hom [(b, psi), (c, gamma)] is Pi_{pi_1} [pi_2^*(psi), > ev^*(theta)], where pi_1 : [b,c] <---- [b,c] x b ----> b : pi_2 and > ev: [b,c] x b ----> c in B. This is indeed the case and it appears as Corollary 4.12 in Claudio Hermida, Some properties of Fib as a fibred 2-category, Journal of Pure and Applied Algebra, Volume 134, Issue 1, 5 January 1999, Pages 83-109, ISSN 0022-4049, http://dx.doi.org/10.1016/S0022-4049(97)00129-1. (http://www.sciencedirect.com/science/article/pii/S0022404997001291) > > This in particular applies to Cat//'Set' as in Ross' message, seen as a > fibration over Cat with reindexing along f:A--->B given by > [f,1]:[B,Set]--->[A,Set]. This fibration has right adjoints to > pullbacks, but they don't satisfy BCC; however, right adjoints to > pullback along product projections are given just by (conical) limit > functors, and these do satisfy BCC. So the preceding construction > applies (and a bit of fiddling about shows that this does indeed agree > with Ross' prescription). > > As for local cartesian closure: if B is lccc, each fibre is lccc with > fibrewise Pi's stable under pullback, and E--->B has all products, then > it seems that each slice fibration p/A: E/A--->B/pA will satisfy the > conditions in the second paragraph, whence E is also lccc. That is also correct, but Cat is not lccc. To get this to work, one must restrict Cat to the broad subcategory whose morphisms satisfy the Conduche condition (which is the same as exponentiability in Cat), as exposed in the nLab page http://nlab.mathforge.org/nlab/show/Conduche+functor Claudio [For admin and other information see: http://www.mta.ca/~cat-dist/ ]