* Quasi-categories
@ 2005-11-26 17:42 Andree Ehresmann
2005-11-28 7:06 ` Quasi-categories Philippe Gaucher
0 siblings, 1 reply; 2+ messages in thread
From: Andree Ehresmann @ 2005-11-26 17:42 UTC (permalink / raw)
To: TAC
In answer to Carl Futia
Charles Ehresmann has called such "gadgets" quasi-categories in
"Introduction to the theory of structured categories" (Kansas 1966) reprinted in
"Charles Ehresmann: Oeuvres completes et commentees" Part III-2.
Sincerely
Andree C. Ehresmann
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: Quasi-categories
2005-11-26 17:42 Quasi-categories Andree Ehresmann
@ 2005-11-28 7:06 ` Philippe Gaucher
0 siblings, 0 replies; 2+ messages in thread
From: Philippe Gaucher @ 2005-11-28 7:06 UTC (permalink / raw)
To: categories
Le samedi 26 Novembre 2005 18:42, vous avez écrit :
> In answer to Carl Futia
>
> Charles Ehresmann has called such "gadgets" quasi-categories in
> "Introduction to the theory of structured categories" (Kansas 1966)
> reprinted in "Charles Ehresmann: Oeuvres completes et commentees" Part
> III-2.
>
> Sincerely
> Andree C. Ehresmann
Dear All,
One told me very recently that Joyal is writting a book about
"quasi-categories". But with a different meaning. A quasi-category is a
simplicial set satisfying a condition a little bit weaker than the Kan
condition. Morally speaking, two composable arrows have several possible
compositions, up to homotopy. I dont know whether Joyal reads this
mailing-list ?
pg.
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2005-11-28 7:06 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2005-11-26 17:42 Quasi-categories Andree Ehresmann
2005-11-28 7:06 ` Quasi-categories Philippe Gaucher
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).