(・・・とでも呼ぶことにする) Posetal powerset 任意の集合 について、objectを の部分集合、morphismを とするposetal category*1: を定義できる。 以下、任意の関数: について・・・ Direct(existential) image Inverse image Dual(universal) image とすると、…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。