모노이드: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
22번째 줄:
* (항등원의 보존) <math>f(1_M)=1_N</math>
둘째 조건은 생략할 수 없다. 첫째 조건을 만족시키지만 둘째 조건을 만족시키지 않는 함수는 모노이드 준동형이 아닌 [[반군 준동형]]이다.
 
모노이드를 하나의 대상을 갖는 [[범주 (수학)|범주]]로 간주할 때, 모노이드 준동형은 두 범주 사이의 [[함자 (수학)|함자]]와 같다.
 
=== 부분 모노이드 ===