Group object Has finite productsなcategory において、group objectとは、 -object -morphism -morphism -morhpism から成る代数的構造のこと。(要件略) Groupのcarrierを、集合からobjectへ一般化したということ。 同様にして、monoidを一般化したものをm…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。