K
0
(X)
A
*
(X)
K
0
(Y)
A
*
(Y)
ch(-) td(X)
ch(-) td(Y)
f!
f*
C
D
E
F
K
Lan
K
F
D
+
(k
X
)
D
+
(k
Y
)
D
+
(k
X
)
D
+
(k
Y
)
Rf
!
f
!
RHom
Y
(Rf
!
F,G)
≃
RHom
X
(F,f
!
G)
Akari
Math Lab
ホーム
研究関心
プロジェクト
数学メモ
メモ
日記
資料
About
検索
K
← 日記 一覧へ戻る
DIARY
2026年5月
2026年5月 1日
2026年4月
•
Published 2026.04.30
（更新 2026.04.30）
Share
2026年5月
1日
検索
K