1.4 圏同値とその判定法 前回圏同値を定義したところまで来ました。これは圏同型より弱い概念として定義したものですが、そもそもダウングレードさせた理由の一つは、圏同型の概念が強すぎて具体例がほぼ存在しないことにありました。 なので本記事では圏同…

1.3 自然変換 前回関手を導入しました。これにより異なる圏の間の射が定義できたことになるので、圏の同型も定義できることになります： 定義（圏の同型）：２つの圏およびその間の関手が存在するとき、関手が同型であるとは、逆向きの関手が存在して かつを…