目次 環や加群など、ある特定の対象を一斉に扱うことを可能にする概念が圏である。圏においては個々の対象よりも、その間の結びつきから全体像を捉えることに主眼が置かれる。 圏の定義と例 定義 圏（category）とは以下の条件を満たす対象（object）と射（m…