1週空いて再開,和音のトポス.本日お気に入りの式. Sub(μ)~Hom(μ,Ω) つまり,(functor)μのSubobjectはSubfunctorに他ならず, それはまたSubobject classifier Ω への射(今の場合,自然変換)とも見なせる. そして,このμはまたalgebra Aの集合Xへの作…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。