Kerodon
$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
about
changes
recent comments
bibliography
previous
next
statistics
comments (0)
Part
2
: Higher Category Theory
Chapter
8
: The Yoneda Embedding
Section
8.1
: Twisted Arrows and Cospans
Subsection
8.1.2
: Homotopy Transport for Twisted Arrows
Remark
8.1.2.2
(
cite
)
previous
next
view as pdf
comments (0)
statistics
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Remark
8.1.2.2
.
The converse of Proposition
8.1.2.1
is also true: see Corollary
8.1.2.21
.