bonotakeの日記

元・ソフトウェア工学系研究者、今・AI系エンジニア

2009-05-10から1日間の記事一覧

しりとりの圏における全単射と同型(=同等)

これが集合論となると、全単射が存在する二つの集合は同等とみなすことができ、しりとりを一点集合同士の写像とすればあらゆる写像は単射かつ全射=全単射であり、集合論的にはしりとりの各文字は同等となるのだという。これは集合論と圏論では物の見方が違う…

注:bonotakeは、amazon.co.jpを宣伝しリンクすることによってサイトが紹介料を獲得できる手段を提供することを目的に設定されたアフィリエイト宣伝プログラムである、 Amazonアソシエイト・プログラムの参加者です。