모노이드,monoid

모노이드,monoid (rev. 1.7)

//eom
semigroup with identity

//wpko
항등원,identity_element을 갖는
결합법칙,associativity을 따르는
이항연산,binary_operation을 갖춘 대수구조,algebraic_structure.

i.e.
"추상대수학에서 모노이드는 항등원,identity_element을 갖는, 결합법칙,associativity을 따르는 이항연산,binary_operation을 갖춘 대수구조,algebraic_structure이다. 군,group의 정의에서 역원,inverse_element의 존재를 생략하거나, 반군,semigroup(semigroup)의 정의에서 항등원,identity_element의 존재를 추가하여 얻는다."

Contents

1.1. trivial monoid

1.2. free monoid

1.3. monoid object

1.4. monoidal category

1.4.1. closed monoidal category

1.5. submonoid

1. Sub ¶

1.1. trivial monoid ¶

trivial_monoid

via

trivial_group - 군,group

cmp

trivial_group
trivial_ring

Up: trivial

1.2. free monoid ¶

free_monoid =,free_monoid . free_monoid
{

https://encyclopediaofmath.org/wiki/Free_semi-group

(Redirected from Free monoid)

단어,word
알파벳,alphabet

}

1.3. monoid object ¶

모노이드대상,monoid_object - 대상,object

1.4. monoidal category ¶

모노이드범주,monoidal_category - 범주,category

closed_monoidal_category

monoidal category

monoidal category

1.4.1. closed monoidal category ¶

closed monoidal category

1.5. submonoid ¶

submonoid
=,submonoid . submonoid
부분 모노이드
부분모노이드,submonoid
https://mathworld.wolfram.com/Submonoid.html

2. Topics: ¶

3. MKL ¶

semigroup - 반군,semigroup(잠정적pagename)
항등원,identity_element // semigroup + 항등원 => 모노이드

Cmp 모나드,monad