Discrete category Category について、以下の二つの要件を満たすものをdiscreate categoryという。 任意の について つまり、morphismが しかないcategory。Discrete categoryはpreorderである。 Discrete diagram Domainがdiscreteなdiagramのこと。このよ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。