nLab
arrow (∞,1)-category

Contents

Defintion

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

𝒞 Δ 1Func (Δ 1,𝒞). \mathcal{C}^{\Delta^1} \coloneqq Func_\infty(\Delta^1, \mathcal{C}) \,.