Kerodon
$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
about
changes
recent comments
bibliography
previous
next
statistics
comments (0)
Part
2
: Higher Category Theory
Chapter
7
: Limits and Colimits
Section
7.3
: Kan Extensions
Subsection
7.3.7
: Kan Extensions in Functor $\infty $-Categories
Exercise
7.3.7.11
(
cite
)
previous
next
view as pdf
comments (0)
statistics
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Exercise
7.3.7.11
.
Prove the converse of Lemma
7.3.7.10
.