BeDict Logo

mono

/ˈmɒnəʊ/ /ˈmɑnoʊ/
の視覚的イラスト mono: 単射
noun

圏論では、「double」関数が単射であることを示すことができます。なぜなら、「double(f(x))」が常に「double(g(x))」と等しい場合、「f(x)」と「g(x)」の関数は同じでなければならないからです。