From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2329
Path: news.gmane.org!not-for-mail
From: Philippe Gaucher <gaucher@Mathematik.Uni-Marburg.de>
Newsgroups: gmane.science.mathematics.categories
Subject: technical question about omega-categories
Date: Thu, 05 Jun 2003 15:45:12 +0100
Message-ID: <B0000862541@infante.estv.ipv.pt>
NNTP-Posting-Host: main.gmane.org
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Trace: ger.gmane.org 1241018583 3579 80.91.229.2 (29 Apr 2009 15:23:03 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:23:03 +0000 (UTC)
Original-X-From: rrosebru@mta.ca Thu Jun  5 16:19:50 2003 -0300
Return-path: <cat-dist@mta.ca>
Envelope-to: categories-list@mta.ca
Delivery-date: Thu, 05 Jun 2003 16:19:50 -0300
Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10)
	id 19O0Cy-0000Ae-00
	for categories-list@mta.ca; Thu, 05 Jun 2003 16:15:32 -0300
Original-Sender: cat-dist@mta.ca
Precedence: bulk
X-Keywords: 
X-UID: 20
Original-Lines: 45
Xref: news.gmane.org gmane.science.mathematics.categories:2329
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/2329>

Dear all,


Let C be an omega-category (strict, globular).

Let U be the forgetful functor from strict globular omega-categories
to globular sets. And let F be its left adjoint.

Let us suppose that we are considering an equivalence relation R on UC
(the underlying globular set of C) such that the source and target
maps pass to the quotient : i.e. one can deal with the quotient globular
set UC/R.

The canonical morphism of globular sets UC --> UC/R induces a morphism
of omega-categories F(UC) --> F(UC/R) by functoriality of F.

Consider the following push-out in the category of omega-categories :


F(UC) ----->  F(UC/R)
  |               |
  |               |
  |               |
  v               v
  C   --------->  D


The morphism F(UC)-->C (the counit of the adjonction) is surjective on
the underlying sets.

The morphism F(UC)-->F(UC/R) is generally not surjective on the
underlying sets : because by taking the quotient by R, one may add
composites in F(UC/R) which do not exist in F(UC).

However the intuition tells (me) that the morphism F(UC/R)-->D is
surjective on the underlying sets : this morphism only adds in F(UC/R)
the calculation rules of C : this is precisely what I want by
introducing D. But I cannot see why with a rigorous mathematical
argument.


Thanks in advance. pg.