A category object in an $\infty$-category

60 Views Asked by At

I am quite confused on what a category object in an $(\infty,1)$ category here.

enter image description here

How did we get the diagram

$$X(\{0,1\}) \times \cdots \times X(\{n-1,n\})$$ in the first place ?

If we were to spell out the definition of an $(\infty, 1)$-limit, we would want a simplicial set $K$, and a morphism $p:K \rightarrow C$ that gives the diagram written above.


I am guessing the definition should be that we take $K$ as the nerve of $$ \{0 \} \rightarrow \{0,1\} \leftarrow \cdots \rightarrow \{n-1,n\} \leftarrow \{n \}$$ which maps in to $\Delta$ by sending one element set to $[0]$ and two element sets to $[1]$. Then there is a canonical $K \rightarrow K^{\triangleleft} \rightarrow C$ that extends our diagram via the sending the cone point to $[n]$.

1

There are 1 best solutions below

2
On BEST ANSWER

You can find the diagram in definition 2.2 here.