(mathematics) A form of partial algebra in category theory.
semigroupoid
セミナーで、合成が部分的にしか定義されない場合に、圏論における部分代数の一種が圏とどのように異なるかを検討しました。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★