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