동형 사상 아래 결합 법칙이 성립하고 동형 사상 아래 왼쪽·오른쪽 항등원이 존재하는 이항 연산을 갖는 범주
범주론에서, 모노이드 범주(monoid範疇, )는 동형 사상 아래 결합 법칙이 성립하고 동형 사상 아래 왼쪽·오른쪽 항등원이 존재하는 이항 연산을 갖는 범주(범주 (수학))이다. 모노이드 범주 는 다음과 같은 데이터로 구성된다. 이 데이터는 다음 조건들을 만족시켜야 한다. 두 모노이드 범주 와 가 주어졌다고 하자. 모노이드 함자 는 다음과 같은 데이터로 구성된다.
모노이드 범주가 뭐야
모노이드 범주