Notion. 上同调 [上同调]

在一个无穷范畴 $\mathbf H$ 中, 对象 $X$ 的取值于对象 $A$ 的 $n$ 阶上同调为 $$ H^n(X,A) :=\pi_0\mathbf{H}(X,B^nA), $$ 其中 $B$ 表示逆环路空间.