Up | English

同型

---

数学を含め教科一般の主題は，形です。そこで特に，「同形（同型）」が教科の基本的な主題の一つになります。

数学では，「同形（同型）」の定式化を数学特有の形で行います。
ひらたく言うと，つぎのように「同形 (同型)」は定義されます：

対象ＡとＢの間に「Ａを入力するとＢが出力されるコピーがある」という関係が成り立つとき，ＡとＢは同形 (同型)。

このときの「コピー」は，一定の条件を満たす写像として定義されます。