とおくと， よって，

加法圏 が自己同型 をもつとする． に対し， と書く． を triangle という． triangle の間の射を可換図式によって定義する． triangle の圏の自己同型が によって定義される． が triangle の圏の充満部分圏 を与えていて，次をみたすとする． の作用で閉じ…

複体 に対し， とする． 複体の射 に対し， によって複体が定義される．コホモロジー群をとると，完全列 が誘導される． これを，複体とコホモロジー群という異なるレベルの間で起きている現象としてではなく，同一のレベルの中で起きている現象として理解で…

スズキ先生の講義．生態系．