圏論を勉強する その3
圏には、射(の集合・類)とその合成、対象(の集合・類)、射の矢印としての始点・終点を確認する域・余域、恒等写像がある。逆に言うとこれがあれば圏。
何か気になる物事が圏として捉えることができるかどうかを次の手順で考えてみることにする。
気になる物事を射とする圏、もしくは、気になる物事を対象とする圏、との2通りを考えてみる。






圏には、射(の集合・類)とその合成、対象(の集合・類)、射の矢印としての始点・終点を確認する域・余域、恒等写像がある。逆に言うとこれがあれば圏。
何か気になる物事が圏として捉えることができるかどうかを次の手順で考えてみることにする。
気になる物事を射とする圏、もしくは、気になる物事を対象とする圏、との2通りを考えてみる。