From: Philippe Gaucher <gaucher@Mathematik.Uni-Marburg.de>
Subject: technical question about omega-categories
Date: Thu, 05 Jun 2003 15:45:12 +0100 [thread overview]
Message-ID: <B0000862541@infante.estv.ipv.pt> (raw)
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.
next reply other threads:[~2003-06-05 14:45 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-06-05 14:45 Philippe Gaucher [this message]
-- strict thread matches above, loose matches on Subject: below --
2001-02-09 18:36 Philippe Gaucher
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=B0000862541@infante.estv.ipv.pt \
--to=gaucher@mathematik.uni-marburg.de \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).