最終更新日：2022/12/24
Moreover, f∗ admits both a left adjoint f_! and a right adjoint f_∗, given by left and right Kan extension along the map SingY→SingX, respectively. Note that this is left and right Kan extension in the ∞-categorical sense, which amounts to homotopy left and right Kan extension on the level of simplicial categories or model categories.
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
元となった例文
Moreover,
f∗
admits
both
a
left
adjoint
f_!
and
a
right
adjoint
f_∗,
given
by
left
and
right
Kan
extension
along
the
map
SingY→SingX,
respectively.
Note
that
this
is
left
and
right
Kan
extension
in
the
∞-categorical
sense,
which
amounts
to
homotopy
left
and
right
Kan
extension
on
the
level
of
simplicial
categories
or
model
categories.
