圏論では「本当に同じ」以外に、「同型」「同値」の概念が重要となる。 ちなみに、isomorphismは名詞、isomorphicは形容詞だが、 日本語ではしばしば両方とも「同型」と訳される。 補題 関手は同型を保存する。 関手は、モノやエピを保存しないが、分裂モノ…