nLab arrow (∞,1)-category

Defintion

For $\mathcal{C}$ an (∞,1)-category, its arrow $(\infty,1)$-category is the (∞,1)-category of (∞,1)-functors

$$\mathcal{C}^{\Delta^1} \coloneqq Func_\infty(\Delta^1, \mathcal{C}) \,.$$

Related concepts

• slice (∞,1)-category

• arrow category

• arrow (∞,1)-topos