Dear Ronnie,
You mention the process from category to infinity-category. Actually that was why we introduced the term infinity-category
This is why I am thinking you could embrace the way the term is used these days: because it follows precisely your use back then, only removing the restriction of strictness. And algebraicity can be restored. See below...
The problem is that there is no unique choice of such retractions, nor is it clear what might be the relations between iterates of such fillers. These considerations led Keith Dakin to the notion of T-complex for his 1976 thesis; somehow `T-complex' has more recently become `complicial set', but nobody asked me. (Groan! Groan!) So it seems that the notion of quasi category as a weak Kan complex still has not captured something about the basic example; but how to repair that is quite unclear.
This has recently been clarified by Thomas Nikolaus in his work on algebraic Kan complexes (which are essentially simplicial T-complexes!) and algebraic quasi-categories: http://ncatlab.org/nlab/show/model+structure+on+algebraic+fibrant+objects He shows that the model category/quasi-category/(oo,1)-category (check preferred term) of all Kan complexes is equivalent to that of all Kan complexes with all horn fillers chosen. And analogously: that the model category/quasi-category/(oo,1)-category (check preferred term) of all quasi-categories is equivalent to that of all quasi-categories with all inner horn fillers chosen. This says that while a Kan complex or quasi-category is not directly an algebraic model for an oo-groupoid or (oo,1)-category, respectively, you can immediately turn it into an algebraic model by making choices, and up to equivalence, the resulting algebraic model does not depend on these choices. Best, Urs [For admin and other information see: http://www.mta.ca/~cat-dist/ ]
Dear Urs and Ronnie, As you know, there are important differences between category theory and classical algebra. One lies in the fact that equivalent categories are considered to be the "same", even if when they are not isomorphic. In category theory most constructions are yielding an object which is not unique, but only unique up to some kind of equivalence, at best unique up to a unique isomorphism. The general idea seems to be that an object is well defined if its different incarnations are connected by a contractible network of equivalences. It seems to me that the challenge of higher dimensional algebra is to learn how to handle constructions whose output are not unique but only unique only up to a contractible network. Of course, we may decide to replace these constructions by ones producing a truly unique object, but the replacement seems often artificial. For example, we may decide to choose a representative for the cartesian product of every pair of objects in a category. We are then lead to distinguish between two kinds of product preserving functors. The functors preserving the product strictly are given a role, but this seems artificial to me. I do not want to be negative about the idea of turning higher dimensional algebra into ordinary algebra, because we may learn something in the process. Also, Quillen homotopical algebra can be regarded as a method for reducing higher categorical and homotopy algebra to ordinary categorical algebra. However, there was a real gain in moving from a purely algebraic description of higher categories to one based on simplicial sets and homotopical algebra. The category of quasi-categories is cartesian closed, a property which appears to be false for the category of fibrant objects in the "algebraic" models. This is also true for the category of n-quasi-category (Rezk). Best, André -------- Message d'origine-------- De: categories@mta.ca de la part de Ronnie Brown Date: ven. 21/05/2010 13:00 À: Urs Schreiber; categories@mta.ca Objet : categories: Re terminology: Dear Urs, Thanks for your friendly and detailed reply. I should say that I also feel responsible for defending and advertising the work of my long time collaborator, Philip Higgins, without whom of course much of the work would not have got done, certainly not so quickly. His last contribution to maths was in 2005; I helped with the presentation of his TAC paper, but insisted that it showed `you know the lion from his claw', as all the ideas were his. He is happily playing the violin and making string instruments from bare blocks of wood! (That shows his craftmanship.) He remembers the project as very hard work but a lot of fun! You mention the process from category to infinity-category. Actually that was why we introduced the term infinity-category in 34. (with P.J. HIGGINS), ``The equivalence of $\infty$-groupoids and crossed complexes'', {\em Cah. Top. G\'eom. Diff.} 22 (1981) 371-386. See also: 33. (with P.J. HIGGINS), ``The equivalence of $\omega$-groupoids and cubical $T$-complexes'', {\em Cah. Top. G\'eom. Diff.} 22 (1981) 349-370. ........ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]
participants (2)
-
Joyal, André -
Urs Schreiber