ScalingStacks

0NN2

Definition 7.1. Denote by Gap⁑([n],π’ž)\Gap([n],{\mathcal{C}}) the full subcategory of Fun⁑(N⁑(Ar⁑[n]),π’ž)\mathrm{Fun}(\mathrm{N}(\Ar[n]),{\mathcal{C}}) spanned by the functors N⁑(Ar⁑[n])β†’π’ž\mathrm{N}(\Ar[n])\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}{\mathcal{C}} such that, for each i∈Ii\in I, F⁑(i,i)F(i,i) is a zero object of π’ž{\mathcal{C}}, and for each i<j<ki<j<k, the square

F⁑(i,j)\textstyle{F(i,j)\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces}F⁑(i,k)\textstyle{F(i,k)\ignorespaces\ignorespaces\ignorespaces\ignorespaces}F⁑(j,j)\textstyle{F(j,j)\ignorespaces\ignorespaces\ignorespaces\ignorespaces}F⁑(j,k)\textstyle{F(j,k)}

is cocartesian.

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

Andrew J. Blumberg, David Gepner, Goncalo Tabuada

Original source: arXiv:1001.2282v4