모노이드 범주

범주론에서 모노이드 범주(monoid範疇, )는 동형 사상 아래 결합 법칙이 성립하고  동형 사상 아래 왼쪽·오른쪽 항등원이 존재하는 이항 연산을 갖는 범주이다. 모노이드 범주 속에는 모노이드 대상의 개념을 정의할 수 있다.

 정의 
모노이드 범주 는 다음과 같은 데이터로 구성된다.
 범주 
 함자 
 대상 . 이를 항등원(恒等元, )이라고 한다.
 함자 ,  사이의 자연 동형 . 그 성분을 로 쓰자. 이를 결합자(結合子, )라고 한다.
 함자 ,  사이의 자연 동형 . 그 성분을 로 쓰자. 이를 왼쪽 항등자(왼쪽恒等子, )라고 한다.
 함자 ,  사이의 자연 동형 . 그 성분을 로 쓰자. 이를 오른쪽 항등자(오른쪽恒等子, )라고 한다.
이 데이터는 다음 조건들을 만족시켜야 한다.
 (결합자의 일관성) 임의의 대상 에 대하여, . 즉, 다음 그림은 가환 그림이다.

 (항등원의 일관성) 임의의 대상 에 대하여, . 즉, 다음 그림은 가환 그림이다.

 모노이드 함자 
두 모노이드 범주 와  사이의 (강한) 모노이드 함자(monoid函子, ) 은 다음과 같은 데이터로 구성된다.
 함자 
 자연 동형 . 그 성분을 로 쓰자.
 동형 사상 
이 데이터는 다음 두 조건을 만족시켜야 한다.
 (결합자의 보존) 임의의 대상 에 대하여, . 즉, 다음 그림이 가환 그림이다.

 (왼쪽 항등자의 보존) 임의의 대상 에 대하여, . 즉, 다음 그림이 가환 그림이다.

 (오른쪽 항등자의 보존) 임의의 대상 에 대하여, . 즉, 다음 그림이 가환 그림이다.

자연 동형 를 자연 변환으로 약화시키고, 동형 사상 을 사상으로 약화시키면 약한 모노이드 함자()의 정의를 얻는다.

 모노이드 자연 변환 
두 모노이드 범주 와  사이의 두 모노이드 함자 와  사이의 모노이드 자연 변환(monoid自然變換, )은 다음 두 조건을 만족시키는 자연 변환 이다.
 (모노이드 함자 구조의 보존) 임의의 대상 에 대하여, . 즉, 다음 그림이 가환한다.

 (모노이드 함자 구조의 보존) . 즉, 다음 그림이 가환한다.

 추가 구조와 종류 
 대칭 모노이드 범주 

모노이드 범주에서, 이항 연산은 일반적으로 교환 법칙을 만족시키지 않는다. 즉, 임의의 두 대상 에 대하여, 일 필요가 없다. 만약 이 조건을 추가한다면, 대칭 모노이드 범주의 개념을 얻는다.

 닫힌 모노이드 범주 

모노이드 범주에서, 모노이드 연산과 호환되는 일종의 지수 대상의 존재에 대한 조건을 추가하면, 닫힌 모노이드 범주의 개념을 얻는다.

 예 
(끝 대상을 포함한) 유한 곱이 존재하는 범주는 곱을 통해 대칭 모노이드 범주를 이룬다. 이러한 모노이드 범주를 데카르트 모노이드 범주()라고 한다. 마찬가지로, (시작 대상을 포함한) 유한 쌍대곱이 존재하는 범주는 쌍대곱을 통해 대칭 모노이드 범주를 이루며, 이러한 모노이드 범주를 쌍대 데카르트 모노이드 범주()라고 한다.

 범주  연산   항등원   대칭 모노이드 범주? 집합의 범주   곱집합   한원소 집합  예 집합의 범주   분리합집합   공집합  예 작은 범주의 범주   곱범주  하나의 대상 및 하나의 사상을 가진 범주   예 가환환  위의 가군의 범주   가군의 텐서곱   1차 자유 가군   예 가환환  위의 가군의 범주   가군의 직합   자명 가군   예 아벨 군의 범주   아벨 군의 텐서곱   무한 순환군   예 모노이드 의 원소를 대상으로 하고, 모든 사상이 항등 사상인 작은 범주  모노이드 이항 연산  모노이드 항등원  아닐 수 있음

 역사 
손더스 매클레인이 1963년에 모노이드 범주 및 대칭 모노이드 범주의 개념을 정의하였고, 모노이드 범주가 만족시켜야 하는 (무한한 수의) 항등식 가환 그림들이 오직 5개의 가환 그림만으로 함의된다는 매클레인 일관성 정리(Mac Lane一貫性定理, )를 증명하였다. 조금 더 정확히 말하면, 모든 모노이드 범주는 결합자와 두 항등자가 모두 항등 자연 변환인 모노이드 범주와 (모노이드 범주로서) 동치이다. 이후 그레고리 맥스웰 켈리(, 1930~2007)가 매클레인의 5개의 가환 그림이 2개(오각형과 삼각형)의 가환 그림만으로 함의된다는 것을 보였다.

 참고 문헌 

 외부 링크 










분류:범주론