Skip to main content
5 of 10
added 62 characters in body; edited tags
Giorgio Mossa
  • 3.3k
  • 1
  • 29
  • 30

Concrete example of $\infty$-categories.

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:

  • $\infty$-grupoids as fundamental groupoids topological spaces;

  • $(\infty,1)$-categories, mostly via topological example and application in algebraic geometry (in particular in derived algebraic geometry);

  • 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\}$).

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.

(Edit:) after the a discussion with Mr.Porter I think adding some specifications may help. 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.

Giorgio Mossa
  • 3.3k
  • 1
  • 29
  • 30