1.モノイド圏 四則演算や論理演算など、単位元を有し結合律を満たす二項演算はモノイドと呼ばれる。この圏は次のように構成される。 (1) 対象:一つ(通常★で表される) (2) 射:二項演算子の左あるいは右に表れる数(あるいは元) (3) ドメインとコドメイ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。