Element Category において -morphism のことを、element of with stage という。 ・・・とは書かないようである。書いていいらしい。 Functionはfamily、functorはdiagram、morphismはelementということ・・・か? Global element Terminal objectをstageとするel…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。