모노이드 대상

모노이드 대상은 범주론에서 모노이드의 개념을 일반화한 것이다. 구체적으로, 모노이드 대상은 곱셈과 항등원 연산을 갖춘 대상으로서, 이러한 연산들이 결합 법칙과 항등원 법칙을 만족하도록 정의된다. 모노이드 대상은 다양한 범주에서 나타날 수 있으며, 특히 추상 대수학과 범주론의 상호작용을 이해하는 데 중요한 역할을 한다.

정의

모노이드 대상은 모노이드 범주 (monoidal category) C 안에서의 대상 M과 두 개의 사상, 즉 곱셈 사상 μ : M ⊗ M → M 과 항등원 사상 η : I → M 으로 구성된다. 여기서 I는 모노이드 범주 C의 단위 대상(unit object)이다. 이 사상들은 다음 공리들을 만족해야 한다:

1. 결합 법칙 (Associativity): 다음 다이어그램이 가환해야 한다.

   M ⊗ M ⊗ M  ---id⊗μ---> M ⊗ M
    |                        |
   μ⊗id                     μ
    |                        |
   M ⊗ M       ---μ--->    M
   

2. 항등원 법칙 (Unit Law): 다음 다이어그램이 가환해야 한다. 여기서 λ 와 ρ는 각각 왼쪽 단위 사상과 오른쪽 단위 사상이다.

   I ⊗ M  ---η⊗id---> M ⊗ M  <---id⊗η--- M ⊗ I
    |                        |                        |
   λ  \                      μ                      / ρ
    |   \                    |                    /  |
    \    --->     M     <---   /
     \                       |                       /
      ------------------------
   

예시

• 집합의 범주 Set에서 모노이드 대상은 통상적인 모노이드와 같다. 곱셈은 모노이드 연산이고, 항등원은 모노이드의 항등원이다.
• 아벨 군의 범주 Ab에서 모노이드 대상은 환(ring)과 같다. 곱셈은 환의 곱셈이고, 항등원은 환의 곱셈 항등원이다.
• 벡터 공간의 범주 Vect에서 모노이드 대상은 대수(algebra)와 같다. 곱셈은 대수의 곱셈이고, 항등원은 대수의 곱셈 항등원이다.

응용

모노이드 대상은 범주론적 대수학에서 다양한 응용을 갖는다. 예를 들어, 모노이드 대상은 텐서 범주의 구조를 정의하는 데 사용될 수 있으며, 호프 대수(Hopf algebra)와 같은 대수적 구조를 일반화하는 데 사용될 수 있다. 또한, 양자장론과 끈 이론과 같은 물리학 분야에서도 중요한 역할을 한다.