nLab
arrow (∞,1)-category

Contents

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

Created on January 18, 2013 at 03:47:26. See the history of this page for a list of all contributions to it.