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

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