疑念は探究の動機であり、探究の唯一の目的は信念の確定である。

数学・論理学・哲学・語学のことを書きたいと思います。どんなことでも何かコメントいただけるとうれしいです。特に、勉学のことで間違いなどあったらご指摘いただけると幸いです。よろしくお願いします。くりぃむのラジオを聴くこととパワポケ2と日向坂46が人生の唯一の楽しみです。

圏論

圏論においては射が重要であり、特に同型射(isomorphisms)が重要である。それについてまとめたのでここに記す。同型射キャノニカル同型終対象イクワライザー最後に応用例