* question about weak omega category
@ 1999-05-05 8:56 Philippe Gaucher
1999-05-07 9:51 ` Tom Leinster
0 siblings, 1 reply; 2+ messages in thread
From: Philippe Gaucher @ 1999-05-05 8:56 UTC (permalink / raw)
To: categories
Bonjour,
Let us call cubical omega-category a cubical complex
with connections and operations +_j like in the
paper "On the algebra of cube", Brown & Higgins or
like in Al-Agl's PhD "Aspect of multiple categories".
There is a conjecture which claims that the category
of cubical omega-categories is equivalent to the category
of globular omega-categories. If I understand correctly,
the conjecture was proved in some richer framework
but seems to be (in my knowledge) still open as stated
above.
My question is : is there a similar conjecture for
weak omega-category ? Is there a notion of cubical
weak omega-category somewhere in the literature
and a notion of globular weak omega-category ?
Any reference is welcome. I have found nothing with
the usual research engine but maybe I did not use
the good key-word.
pg.
^ permalink raw reply [flat|nested] 2+ messages in thread
* question about weak omega category
1999-05-05 8:56 question about weak omega category Philippe Gaucher
@ 1999-05-07 9:51 ` Tom Leinster
0 siblings, 0 replies; 2+ messages in thread
From: Tom Leinster @ 1999-05-07 9:51 UTC (permalink / raw)
To: categories
> There is a conjecture which claims that the category
> of cubical omega-categories is equivalent to the category
> of globular omega-categories. If I understand correctly,
> the conjecture was proved in some richer framework
> but seems to be (in my knowledge) still open as stated
> above.
>
> My question is : is there a similar conjecture for
> weak omega-category ? Is there a notion of cubical
> weak omega-category somewhere in the literature
> and a notion of globular weak omega-category ?
There is certainly a notion of globular weak omega-category: in fact, there
are at least two such. One is Batanin's, another is mine. (If you already
have an early version of the preprint of mine cited below then it will say
that the definition I present *is* Batanin's. He's since pointed out that
it's different.) I've also sketched out how one might define weak cubical
omega-category in a similar style, although there's one important hole in
this which I haven't been able to fill. There have probably been other
attempts to get a notion of weak cubical omega-category.
I think that the conjecture you describe (for *weak* omega-categories) must
be beyond our reach for a little while yet, if it's even plausible. One
reason is that we have to say what the morphisms are in the category of weak
[cubical] omega-categories. If you took the morphisms to be strict functors
(i.e. those preserving composition on the nose) then I suspect the conjecture
would fail. A more natural and plausible choice would be the weak functors
(those maps preserving composition up to coherent equivalence). However,
we seem not to understand weak functors very well at the moment. Batanin has
a definition of weak functor for the notion of weak omega-category he
presents, but I don't know that a similar thing has been done in the cubical
context. So it may not even be possible to *formulate* the conjecture in
today's language, let alone prove it.
Tom
References:
M. Batanin,
Monoidal globular categories as a natural environment for the theory of weak
$n$-categories (1997). Advances in Mathematics 136, pp. 39--103.
Also available via
http://www-math.mpce.mq.edu.au/~mbatanin/papers.html
Tom Leinster,
Structures in higher-dimensional category theory (1998).
Available via http://www.dpmms.cam.ac.uk/~leinster/
(chapter II is the relevant bit)
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~1999-05-07 9:51 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1999-05-05 8:56 question about weak omega category Philippe Gaucher
1999-05-07 9:51 ` Tom Leinster
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).