The 2-out-of-3 axiom (3) from Definition 2.27 is easy to see. To check the colimit-closure axiom (2), fix a diagram as in (3.26) and let \partial\colon
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{K}
\rightarrow T^*
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{{S}}
\subset
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\mathrm{Fun}}
(
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\Delta}
^1,T^*
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\mathcal{C}}
). We need to show that the colimit lies again in T^*
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{S}, i.e. the morphism (a^*\operatorname*{colim}_{a^*
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{K}
}\partial,\operatorname{id}_x) in \underline{\mathcal C}^A \times \underline{\mathcal C}^C\simeq u^*w_*
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\mathcal{C}} is sent to an equivalence by u^*F.
To this end, consider the Z-category (a^*
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{K}
,
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\ast}
) and the Z-diagram
(a^*\partial,\operatorname{id}_x)\colon (a^*
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{K}
,
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\ast}
)\longrightarrow
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\mathrm{Fun}}
(
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\Delta}
^1,Z^*
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\mathcal{C}}
)=\big(
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\mathrm{Fun}}
(
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\Delta}
^1,A^*
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\mathcal{C}}
),
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\mathrm{Fun}}
(
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\Delta}
^1,C^*
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\mathcal{C}}
)\big).
We acquire a composite diagram
\widetilde{F}\colon \overline{w}_*(a^*
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{K}
,
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\ast}
)\xlongrightarrow{w_*(\partial,\operatorname{id}_x)} \overline{w}_*
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\mathrm{Fun}}
(
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\Delta}
^1,Z^*
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\mathcal{C}}
)\simeq
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\mathrm{Fun}}
(
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\Delta}
^1,\overline{w}_*Z^*
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\mathcal{C}}
)\xlongrightarrow{u^*F}
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\mathrm{Fun}}
(
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\Delta}
^1,U^*
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\mathcal{D}}
).
Since u^*F\colon
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\mathrm{Fun}}
(
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\Delta}
^1,\overline{w}_*Z^*
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\mathcal{C}}
)\rightarrow
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\mathrm{Fun}}
(
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\Delta}
^1,U^*
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\mathcal{D}}
) is w-distributive, we get an equivalence
F\mathopen{}\mathclose\bgroup\mathopen{}\mathclose\bgroup\mathopen{}\mathclose\bgroup\mathopen{}\mathclose\bgroup\left(\operatorname*{colim}_{(a^*
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{K}
,
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\ast}
)}(a^*\partial,\operatorname{id}_x)\aftergroup\egroup\aftergroup\egroup\aftergroup\egroup\aftergroup\egroup\right)\simeq \operatorname*{colim}_{\overline{w}_*(a^*
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{K}
,
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\ast}
)}\widetilde{F}\in
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\mathrm{Fun}}
(
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\Delta}
^1,Z^*
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\mathcal{D}}
).
But then by assumption on \partial, \widetilde{F} takes values in arrows which are equivalences in Z^*
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\mathcal{D}}. Since colimits of equivalences are equivalences, we thus see that the morphism F\mathopen{}\mathclose\bgroup\mathopen{}\mathclose\bgroup\mathopen{}\mathclose\bgroup\mathopen{}\mathclose\bgroup\left(\operatorname*{colim}_{(a^*
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{K}
,
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\ast}
)}(a^*\partial,\operatorname{id}_x)\aftergroup\egroup\aftergroup\egroup\aftergroup\egroup\aftergroup\egroup\right)\colon
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\Delta}
^1\rightarrow Z^*
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\mathcal{D}} is also an equivalence. To finish, note that cocompleteness of \underline{\mathrm{Cat}^{}}^{} provides a Beck-Chevalley natural equivalence interchanging colimits with a^*; in particular, we acquire an equivalence of arrows
\operatorname*{colim}_{(a^*
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{K}
,
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\ast}
)}(a^*\partial,\operatorname{id}_x)\simeq {\mathopen{}\mathclose\bgroup\mathopen{}\mathclose\bgroup\mathopen{}\mathclose\bgroup\mathopen{}\mathclose\bgroup\originalleft( a^* \operatorname*{colim}_{
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
\fi
{K}
} \partial, \operatorname*{colim}_{
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
\fi
{*}
} \operatorname{id}_X \aftergroup\egroup\aftergroup\egroup\aftergroup\egroup\aftergroup\egroup\originalright)} \simeq {\mathopen{}\mathclose\bgroup\mathopen{}\mathclose\bgroup\mathopen{}\mathclose\bgroup\mathopen{}\mathclose\bgroup\originalleft( a^* \operatorname*{colim}_{
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
\fi
{K}
} \partial, \operatorname{id}_X \aftergroup\egroup\aftergroup\egroup\aftergroup\egroup\aftergroup\egroup\originalright)},
and the colimit-closure axiom (2) follows.
Finally, to verify the pushout axiom (1) of Definition 2.27, again suppose we are given a morphism t\colon T \rightarrow W and suppose we have a pushout diagram \partial \colon
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\Delta}
^1\times
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\Delta}
^1 = (
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\Lambda}
^2_0)^{\triangleright}\rightarrow T^*
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\mathcal{C}}
\begin{tikzcd}[row sep=scriptsize]
00 \rar\dar & 10\dar \ar[drr, phantom, "\mapsto"]&& y \rar\dar \ar[dr, phantom, "\ulcorner", very near end]& c\dar\\
01 \rar& 11 && z\rar & d
\end{tikzcd}
where y\rightarrow z is in \relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{{S}}
^T. We need to argue that c\rightarrow d is in \relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{{S}}
^T too. For this again fix the notation of (3.26) and x\in
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\mathcal{C}}
^C. We need to show that (a^*c,x)\rightarrow (a^*d,x) in \underline{\mathcal C}^A \times \underline{\mathcal C}^C\simeq (u^*w_*
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\mathcal{C}}
)^U is sent to an equivalence by u^*F.
Consider the pushout diagram (\partial,x)\colon (
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\Lambda}
^2_0,
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\ast}
)^{\triangleright}\rightarrow (A^*
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\mathcal{C}}
,C^*
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\mathcal{C}}
)=Z^*
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\mathcal{C}}. We write
\delta\colon
{\mathopen{}\mathclose\bgroup\mathopen{}\mathclose\bgroup\mathopen{}\mathclose\bgroup\mathopen{}\mathclose\bgroup\originalleft(\overline{w}_*{\mathopen{}\mathclose\bgroup\mathopen{}\mathclose\bgroup\mathopen{}\mathclose\bgroup\left(
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
{\Lambda}
^2_0,
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
{\ast}
\aftergroup\egroup\aftergroup\egroup\aftergroup\egroup\right)} \aftergroup\egroup\aftergroup\egroup\aftergroup\egroup\aftergroup\egroup\originalright)}^{\triangleright}
\xrightarrow{\;\;\; \mathrm{can} \;\;\;}
\overline{w}_*{\mathopen{}\mathclose\bgroup\mathopen{}\mathclose\bgroup\mathopen{}\mathclose\bgroup\mathopen{}\mathclose\bgroup\originalleft({\mathopen{}\mathclose\bgroup\mathopen{}\mathclose\bgroup\mathopen{}\mathclose\bgroup\left(
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
{\Lambda}
^2_0,
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
{\ast}
\aftergroup\egroup\aftergroup\egroup\aftergroup\egroup\right)}^{\triangleright} \aftergroup\egroup\aftergroup\egroup\aftergroup\egroup\aftergroup\egroup\originalright)}
\xrightarrow{\;\;\;\overline{w}_*(\partial,x)\;\;\;}
\overline{w}_*Z^*
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\mathcal{C}}
\xlongrightarrow{\;\;\;u^*F\;\;\;}
U^*
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\mathcal{D}}
.
Note that \delta is a colimit diagram by w-distributivity of F. Also note that, \overline{w}_*(
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\Lambda}
^2_0,
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\ast}
)\simeq s_*
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\Lambda}
^2_0. where s\colon A \rightarrow U is defined in (3.26). Proposition 3.25 yields a pushout
\begin{tikzcd}[row sep=scriptsize]
\operatorname*{colim}_{
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{J}
}\delta \rar\dar\ar[dr, phantom, "\ulcorner", very near end] & \delta_{(10,10,\ldots,10)}\simeq F(a^*c,x)\dar\\
\operatorname*{colim}_{
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{B}
}\delta \rar & \delta_{(11,11,\ldots,11)}\simeq F(a^*d,x).
\end{tikzcd}
where \relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{J}
\subset
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{B}
\subset \overline{w}_*(
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\Lambda}
^2_0,
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\ast}
)\simeq s_*
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\Lambda}
^2_0 are nested U-subposets. We must show that the right vertical map is an equivalence, for which it suffices to show that the left vertical map is an equivalence.
Writing i\colon
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{J}
\hookrightarrow
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{B} for the inclusion, it sufffices to verify that the counit transformation
i_!i^*\delta\rightarrow\delta
of functors \relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{B}
\rightarrow U^*
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{\mathcal{D}} is an equivalence, as then we will acquire the desired equivalence
\operatorname*{colim}_{
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{J}
}\delta\simeq J_!i^*\delta\simeq B_!i_!i^*\delta\xrightarrow{\;\;\; \sim \;\;\;} B_!\delta\simeq \operatorname*{colim}_{
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{B}
}\delta.
Since i\colon
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{J}
\hookrightarrow
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{B} is fully faithful, it suffices to prove that (?) is an equivalence on points in \relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{B}
\backslash
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{J}. Let d\colon D \rightarrow U be an orbit map and b\in
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{B}
^D\backslash
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{J}
^D. Give a distinguished enumeration of the orbits of Z'\coloneqq D \times_U A \simeq \coprod_{i =1}^m Z'_i. We acquire from this a double coset formula
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{B}
^D =\mathopen{}\mathclose\bgroup\mathopen{}\mathclose\bgroup\mathopen{}\mathclose\bgroup\mathopen{}\mathclose\bgroup\left(\prod^m_{i=1}\Lambda^2_0\aftergroup\egroup\aftergroup\egroup\aftergroup\egroup\aftergroup\egroup\right)\backslash\{(10,\ldots,10)\} \subset {\mathopen{}\mathclose\bgroup\mathopen{}\mathclose\bgroup\mathopen{}\mathclose\bgroup\mathopen{}\mathclose\bgroup\originalleft(d^*s_*
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{$\ifmmode\expandafter\m@th$}}
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
\fi
{\Lambda}
_0^2 \aftergroup\egroup\aftergroup\egroup\aftergroup\egroup\aftergroup\egroup\originalright)}^D
so we may without loss of generality write
b=(\{00\}_K,\{01\}_L, \{10\}_M), \hspace{30pt} {\mathopen{}\mathclose\bgroup\mathopen{}\mathclose\bgroup\mathopen{}\mathclose\bgroup\mathopen{}\mathclose\bgroup\originalleft\{1,\dots,m\aftergroup\egroup\aftergroup\egroup\aftergroup\egroup\aftergroup\egroup\originalright\}}\simeq K \sqcup L \sqcup M,
where L is nonempty (lest b lie in \relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{J}
^D). Because \relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{B} is a \mathcal{T}-poset, the slice D-category \relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{J}
\downarrow b to compute the left Kan extension i_! at b is just the full D-subcategory D^*
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{J}
_{/b}\subseteq D^*
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{J}. But then D^*
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{J}
_{/b} clearly has a final D-object, namely (\{00\}_K,\{00\}_L,\{10\}_M). Hence, we get by the pointwise formula for Kan extensions that (i_!i^*\delta)(b)\simeq \delta(\{00\}_K,\{00\}_L,\{10\}_M).
Now, let s'\colon A' \rightarrow Z' be the summand consisting of orbits corresponding with indices i such that i \in L and c'\colon C' \rightarrow Z' is its complement. By definition, \overline{d} \circ s' factors through s, essentially uniquely since s is monic. Thus we acquire a commutative diagram
\begin{tikzcd}[ampersand replacement=\&,column sep=large, row sep=scriptsize]
\varnothing \& {A'} \& A \& T \\
{C'} \& {Z'} \& Z \& W \\
\& D \& U \& V
\arrow[from=1-1, to=1-2]
\arrow[from=1-1, to=2-1]
\arrow["{a'}", from=1-2, to=1-3]
\arrow["{s'}", from=1-2, to=2-2]
\arrow["a", from=1-3, to=1-4]
\arrow["s", from=1-3, to=2-3]
\arrow["t", from=1-4, to=2-4]
\arrow["{c'}"', from=2-1, to=2-2]
\arrow["\lrcorner"{anchor=center, pos=0.125, rotate=180}, draw=none, from=2-2, to=1-1]
\arrow["{\overline{d}}", from=2-2, to=2-3]
\arrow["{\widetilde{w}}", from=2-2, to=3-2]
\arrow["\lrcorner"{anchor=center, pos=0.125}, draw=none, from=2-2, to=3-3]
\arrow["{\overline{u}}", from=2-3, to=2-4]
\arrow["{\overline{w}}", from=2-3, to=3-3]
\arrow["\lrcorner"{anchor=center, pos=0.125}, draw=none, from=2-3, to=3-4]
\arrow["w", from=2-4, to=3-4]
\arrow["d", from=3-2, to=3-3]
\arrow["u", from=3-3, to=3-4]
\end{tikzcd}
whose outer diagram is of the form (3.26). Moreover, evaluating (?) at b gives the map
\delta(\{00\}_K,\{00\}_L,\{10\}_M)\longrightarrow \delta(\{00\}_K,\{01\}_L,\{10\}_M)
which is the \delta-image of L-copies of the map 00\rightarrow 01. This is a morphism of the form F{\mathopen{}\mathclose\bgroup\mathopen{}\mathclose\bgroup\mathopen{}\mathclose\bgroup\mathopen{}\mathclose\bgroup\originalleft(a^{\prime *}y,x \aftergroup\egroup\aftergroup\egroup\aftergroup\egroup\aftergroup\egroup\originalright)} \rightarrow F{\mathopen{}\mathclose\bgroup\mathopen{}\mathclose\bgroup\mathopen{}\mathclose\bgroup\mathopen{}\mathclose\bgroup\originalleft(a^{\prime *}z,x \aftergroup\egroup\aftergroup\egroup\aftergroup\egroup\aftergroup\egroup\originalright)}, for x \in \underline{\mathcal C}^{C'}, so it is an equivalence by our assumption that y\rightarrow z lies in \relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{
\mbox{\relax{}}
\mathpalette{\math@myuline\saved@myuline}
\else
\expandafter\myuline
\fi
}
\else
\expandafter
\relax
\ifmmode
\expandafter
\mathpalette{\math@myuline\myuline}
\else
\expandafter
\relax
\ifmmode
\expandafter\mathuline
\else
\expandafter\saved@myuline
\fi
\fi
\fi
\fi
{{S}}
^T, completing the proof.