From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/508
Path: news.gmane.org!not-for-mail
From: categories <cat-dist@mta.ca>
Newsgroups: gmane.science.mathematics.categories
Subject: local maps of toposes are always UIAO
Date: Mon, 3 Nov 1997 15:43:46 -0400 (AST)
Message-ID: <Pine.OSF.3.90.971103154336.32419H-100000@mailserv.mta.ca>
NNTP-Posting-Host: main.gmane.org
Mime-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
X-Trace: ger.gmane.org 1241017006 26051 80.91.229.2 (29 Apr 2009 14:56:46 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 14:56:46 +0000 (UTC)
To: categories <categories@mta.ca>
Original-X-From: cat-dist Mon Nov  3 15:44:30 1997
Original-Received: by mailserv.mta.ca; id AA09002; Mon, 3 Nov 1997 15:43:46 -0400
Original-Lines: 47
Xref: news.gmane.org gmane.science.mathematics.categories:508
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/508>

Date: Mon, 03 Nov 1997 14:51:58 MEZ
From: Thomas Streicher <streicher@mathematik.tu-darmstadt.de>

I'd like to know whether the following simple observation is well known.
If F -| U : E -> S is a local map of toposes i.e. Gamma : Gl(F) -> Gl(Id_S)
has a fibred right adjoint Nabla then U is full and faithful, i.e. one has
the situation of a Unity and Identity of Adjoint Opposites in Lawvere's sense.
Of course, UIAO entails that the geom. morph. is local.
For the reverse direction the argument is as follows. If Gamma has a fibred
right adjoint Nabla then Gamma preserves sums, i.e. is a cocartesian functor.
Let

         FI ============ FI
         ||              |
         ||              | Ff    be a cocartesian arrow in  E / F
         ||              V
         FI -----------> FJ
                Ff

then its image under Gamma is the left square in the diagram below

                i            q
          I ----------> P ------>UFI
         ||             |         |
         ||             | p  pbk  | UFf     with q o i = eta_I
         ||             V         V
          I ----------> J ------>UFJ
                f          eta_J

where i is an isomorphism as Gamma is cocartesian. That means 

         eta_I
      I -------> UFI
      |          |
      |          | UFf    is a pullback for all f : I -> J
      V          V
      J -------> UFJ
         eta_J

Choosing J = 1 we get that  eta_I  is an iso, i.e. eta is a natural iso.
Thus, F and the right adjoint of U are both full and faithful.

Of course, this argument doesn't go through when "local" is defined as U 
having an ordinary right adjoint.

Thomas Streicher