From: Dan Christensen <jdc@julian.uwo.ca>
To: categories@mta.ca
Subject: Re: localization : more precise question
Date: 02 Dec 2000 13:05:01 -0500 [thread overview]
Message-ID: <87elzq7l82.fsf@julian.uwo.ca> (raw)
In-Reply-To: <200012012113.WAA10773@irmast2.u-strasbg.fr>
Philippe Gaucher <gaucher@irmasrv1.u-strasbg.fr> writes:
> The object of C are the oriented graph. Such an object X is a
> topological space obtained by choosing a discrete set X^0 and by
> attaching 1-dimensional cells *with orientations*. It is a
> 1-dimensional CW-complex with oriented arrows.
>
> The morphisms of C are the continuous maps f from X to Y satisfying
> this conditions :
>
> 1) f(X^0)\subset Y^0
> 2) f is orientation-preserving
> 3) f is non-contracting in the sense that a 1-cell is never contracted
> to one point.
>
> A morphism f of C is in S if and only if f induces an homeomorphism on
> the underlying topological spaces.
>
> I would like to know if C[S^{-1}] exists or no (in the same universe).
>
> The irresistible conjecture is of course that C[S^{-1}] is equivalent
> to the category whose objects are that of C and whose morphisms from A
> to B are the subset of C^0(A,B) (the set of continuous maps from A to
> B) containing all composites of the form
> g_1.f_1^{-1}.g_2...g_n.f_n^{-1}.g_{n+1} where g_1,...,g_{n+1}, are
> morphisms of C and f_1,...,f_n morphisms in S.
Call the category you describe D. There is an obvious functor C --> D
which inverts the morphisms of S. So there is an induced functor
C[S^{-1}] --> D, which is the identity on objects and is clearly full,
since the morphisms from A to B in C[S^{-1}] can be described as the
*formal* composites g_1.f_1^{-1}.....f_n^{-1}.g_{n+1} (modulo certain
relations), where g_1,...,g_{n+1}, are morphisms of C and f_1,...,f_n
morphisms in S.
The question is whether the functor C[S^{-1}] --> D is faithful.
I suspect that this is true in general, but can only prove it if
you restrict yourself to CW-complexes with a finite number of cells.
If you do this, then I believe that the reverse Ore condition holds:
given
s
A ---> B
|
v
C
with s in S, there exists
s
A ---> B
| |
v v
C ---> D
t
with t in S. (B is just A with a finite number of vertices added;
just add the images of those points in C as new vertices to get D.)
With this, it isn't hard to see that the functor is faithful.
For infinite CW-complexes, this Ore condition doesn't hold, but I
still suspect that the functor is faithful. In part it depends upon
what you mean by "orientation preserving". Does this mean "having a
'positive' derivative at all times"? Or 'non-negative'? Or can the
map go forwards and backwards as long as overall it has degree one?
Dan
next prev parent reply other threads:[~2000-12-02 18:05 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-12-01 21:13 Philippe Gaucher
2000-12-02 18:05 ` Dan Christensen [this message]
2000-12-02 23:33 Philippe Gaucher
2000-12-03 22:39 ` Dan Christensen
2000-12-03 16:44 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=87elzq7l82.fsf@julian.uwo.ca \
--to=jdc@julian.uwo.ca \
--cc=categories@mta.ca \
/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).