2020-09-09から1日間の記事一覧
第11回 指数対象 デカルト閉圏 第11回圏論勉強会@ワークスアプリケーションズ その1 指数対象 指数対象\(B^A\)とは対象間の射の集合の一般化。\(\mathcal{Sets}\)では\(B^A=Hom_{\mathcal{Sets}}(A,B)\)。ただしHom集合では内部構造を使った定義であり、射の…
第11回 指数対象 デカルト閉圏 第11回圏論勉強会@ワークスアプリケーションズ その1 指数対象 指数対象\(B^A\)とは対象間の射の集合の一般化。\(\mathcal{Sets}\)では\(B^A=Hom_{\mathcal{Sets}}(A,B)\)。ただしHom集合では内部構造を使った定義であり、射の…