Concrete example of $\infty$-categories. - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T13:59:40Z http://mathoverflow.net/feeds/question/73772 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/73772/concrete-example-of-infty-categories Concrete example of $\infty$-categories. Giorgio Mossa 2011-08-26T13:39:50Z 2012-08-05T10:34:49Z <p>I've seen many different notion of $\infty$-categories, actual I've seen the operadic-globular ones of Batanin and Leinster and the opetopic too and eventually I'll see the simplicial ones too. Although there are so many notion of $\infty$-category so far I've only seen the following examples:</p> <ul> <li><p>$\infty$-grupoids as fundamental groupoids topological spaces;</p></li> <li><p>$(\infty,1)$-categories, mostly via topological example and application in algebraic geometry (in particular in derived algebraic geometry);</p></li> <li><p>strict $(\infty,\infty)$-categories, and their $n$-dimensional versions, for instance the various categories of strict-$n$-categories (here I intend $n \in \omega+{\infty}$).</p></li> </ul> <blockquote> <p>There are other example of $\infty$-categories, especially from algebraic topology or algebraic geometry, but also mathematical physics and computer science and logic? In particular I wondering if there's a concrete example, well known, weak $(\infty,\infty)$-category.</p> </blockquote> <p>(Edit:) after the a discussion with Mr.Porter I think adding some specifications may help: </p> <blockquote> <p>I'm looking for models/presentations of $\infty$-weak-categories for which is possible to give a combinatorial description, in which is possible to make manipulations and explicit calculations, but also $\infty$-categories arising in practice in various mathematical context. </p> </blockquote> http://mathoverflow.net/questions/73772/concrete-example-of-infty-categories/73786#73786 Answer by Tim Porter for Concrete example of $\infty$-categories. Tim Porter 2011-08-26T17:49:39Z 2011-09-05T13:34:25Z <p>The obvious concrete example is any Kan complex considered as a weak infinity groupoid. If that is not concrete enough, take a space and its singular complex is a weak infinity category. If you want category as against groupoid, the homotopy coherent nerve of a simplicially enriched category $\mathcal{B}$, is another example (provided $\mathcal{B}$ is locally Kan' i.e. fibrant.) Thus setting size issues aside, the category of topological spaces yields an infinity category. (Look up homotopy coherent nerve in the nLab if you need. It is a very neat idea.)</p> <p>(Edit: I should have started by asking what concrete' means for you.)</p> <p>(Edit number 2:) I see my original answer did not address the last part of the question. For that you are requiring morphisms in all dimensions to be potentially non-(invertible up to higher cells) so there is a non-reversiblility about things. Chris's examples give some idea of this but there is a nice set of ideas that have not been fully explored as yet that may give another. The context in which this arises is that of directed homotopy. This arises is computer science when modelling concurrent and distributed computing. An action takes time and resources, so is non reversible. If you model things by a directed space (and there are various interpretations of that idea see Marco Grandis' book for instance), and then use directed $n$-simplices for all $n$ and the test spaces, you get a singular complex with quite `singular' properties! (Look at directed space in the nLab for some ideas of what is going on here.) I tried to capture some of this in a paper (Enriched categories and models for spaces of evolving states, Theoretical Computer Science, 405, (2008), pp. 88 - 100.) The structure would seem to be related to the Segal category types constructions, but an adequate description is still lacking. </p> <p>The challenge is then to solidify this link and then to find out if it does give an adequate model of the sorts of situation modelled by the directed spaces in the first instance.</p> http://mathoverflow.net/questions/73772/concrete-example-of-infty-categories/73793#73793 Answer by Chris Schommer-Pries for Concrete example of $\infty$-categories. Chris Schommer-Pries 2011-08-26T19:08:20Z 2011-08-26T19:08:20Z <p>As per Todd's suggestion I am posting this as an answer. </p> <p>The $(\infty, n)$-category of bordisms is an important example for many reasons, the most imporant of which is its role in the Baez-Dolan <a href="http://ncatlab.org/nlab/show/cobordism+hypothesis" rel="nofollow">cobordism hypothesis</a>. There are several constructions of it, but one of the more modern ones, in the language of $(\infty,n)$-categories ($n$-fold complete Segal spaces), is given in Jacob Lurie's <a href="http://arxiv.org/abs/0905.0465" rel="nofollow">On the Classification of Topological Field Theories</a>.</p> http://mathoverflow.net/questions/73772/concrete-example-of-infty-categories/73797#73797 Answer by Tom Leinster for Concrete example of $\infty$-categories. Tom Leinster 2011-08-26T19:49:35Z 2011-08-26T19:55:14Z <p>This probably isn't "well known", and you might think it's cheating. Nevertheless, it's a very concrete, maximally weak, example of an $\infty$-category that isn't an $(\infty, n)$-category for any $n &lt; \infty$. It's simply the free $\infty$-category on one cell in each dimension. </p> <p>For "free" to make sense, you have to use an appropriate definition of $\infty$-category (e.g. any one in which $\infty$-categories are defined as algebras for some particular monad or operad). For Segal-type definitions, it's not clear that it does make sense.</p> <p>I say "very concrete" because the cells and operations of this free $\infty$-category can be described in an explicit combinatorial way, much as the elements of a free group admit an explicit combinatorial description -- except that this, of course, is more complex. </p> http://mathoverflow.net/questions/73772/concrete-example-of-infty-categories/73810#73810 Answer by Scott Morrison for Concrete example of $\infty$-categories. Scott Morrison 2011-08-26T23:46:17Z 2011-08-26T23:46:17Z <p>It's plausible that there's a translation between the notion of an "$A_\infty$ disk-like n-category" (c.f. my paper "<a href="http://arxiv.org/abs/1009.5025" rel="nofollow">The blob complex</a>" with Kevin Walker) and the usual notion of an $(\infty,n)$-category. (Roughly, the only difference should be that disk-like requires lots of duality.)</p> <p>In that case the blob complex of an $(n{-}k)$-manifold with coefficients in any disklike $n$-category gives an $(\infty, k)$-category.</p> http://mathoverflow.net/questions/73772/concrete-example-of-infty-categories/74161#74161 Answer by Michael A Warren for Concrete example of $\infty$-categories. Michael A Warren 2011-08-31T14:39:02Z 2011-08-31T14:39:02Z <p>I think it's worth mentioning the examples of weak $\infty$-groupoids constructed from type theory due to <a href="http://www.comp.mq.edu.au/~rgarner/Typesom/Typesom.pdf" rel="nofollow">van den Berg and Garner</a> and <a href="http://www.mathstat.dal.ca/~p.l.lumsdaine/research/Lumsdaine-Weak-omega-cats-from-ITT-LMCS.pdf" rel="nofollow">Lumsdaine</a>. These examples are constructed out of syntax and so are very concrete in a certain sense (cf. Tom Leinster's answer). These models of $\infty$-groupoids arise from Martin-Löf type theory which was designed in such a way as to exhibit good computational properties. So there is a certain sense in which it is possible to compute with types (although it is a more technical sense of "compute" than you may have in mind). Of course, one expects that many of these examples (at least of $(\infty,1)$-categories) to be very closely related (as are, e.g., fundamental groupoids of spaces and Kan complexes).</p> http://mathoverflow.net/questions/73772/concrete-example-of-infty-categories/104007#104007 Answer by Ronnie Brown for Concrete example of $\infty$-categories. Ronnie Brown 2012-08-05T10:34:49Z 2012-08-05T10:34:49Z <p>A concrete example of a weak $\infty$-category, but not well studied abstractly, is the <em>cubical singular complex</em> of a space, preferably with the connections introduced in our 1981 JPAA paper with Philip Higgins. The clear advantage of the cubical setup is the command of multiple compositions, using an easy matrix notation. Thus one can express for the diagram </p> <p><img src="http://pages.bangor.ac.uk/~mas010/array.jpg" alt="array"></p> <p>that the big square is the composition of the little squares, by simply writing something like $\alpha=[\alpha_{ij}]$. (How does one do that simplicially, or globularly?) This and higher dimensional versions are useful in expressing <strong>algebraic inverses to subdivision</strong>, a useful tool in local-to-global problems. Because higher groupoids are nonabelian, unlike higher groups, one can also obtain nonabelian results in algebraic topology. </p> <p>The book "Nonabelian algebraic topology: filtered spaces, crossed complexes, cubical homotopy groupoids" (EMS, (2011), pdf available from <a href="http://pages.bangor.ac.uk/~mas010/nonab-a-t.html" rel="nofollow">here</a>) has a large number of uses of algebraic and geometric (e.g. homotopical) conclusions derived from rewriting such multiple arrays. The main results were <strong>conjectured</strong> and eventually proved by cubical methods. </p>