모노이드 범주

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

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

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

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

 (항등성) 임의의 에 대하여 다음 두 그림이 가환 그림이다.

모든 와 가 동형 사상이면, 를 엄격한 모노이드 함자()라고 한다.

대칭 모노이드 범주 

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

닫힌 모노이드 범주 

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

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

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

참고 문헌

외부 링크 
 
 
 
 
 
 
 
 
 

범주론