前回の記事では関手と自然同型に関するいくつかの概念について例を用いて説明した。本稿ではその続きとして圏同値について小さな例を用いて考えてみる。 圏同値 圏同値の定義を本[1]より引用する。 圏同値 An equivalence between categories and consists o…