ホモロジー計算における半直交関手における役割