모나드 (범주론)

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

범주론에서, 모나드(영어: monad)는 내부 함자 범주의 모노이드 대상이다. 폐포연산대수 구조 다양체의 공통적인 일반화이다.

정의[편집]

\mathcal C범주라고 하자. 그렇다면 내부 함자(endofunctor) \mathcal C\to\mathcal  C들을 대상으로 하고, 이들 사이의 자연 변환들을 사상으로 하는 범주 \operatorname{End}(\mathcal C)를 생각하자. \operatorname{End}(\mathcal C)모노이드 범주(monoidal category)이며, 따라서 \operatorname{End}(\mathcal C) 속의 모노이드 대상을 생각할 수 있다. \operatorname{End}(\mathcal C)의 모노이드를 \mathcal C모나드라고 한다.

구체적으로, 모나드는 다음과 같은 데이터로 이루어져 있다.

이들은 임의의 대상 A\in\mathcal C에 대하여 다음 세 그림들을 가환되게 하여야 한다.

  • (결합 법칙) 임의의 대상 A\in\mathcal C에 대하여, T\mu_A\circ\mu_A=\mu_{TA}\circ\mu_A. 즉, 다음 그림이 가환한다.
    \begin{matrix}
TTTA&\xrightarrow{T\mu}&TTA\\
{\scriptstyle\mu}\downarrow&&\downarrow\scriptstyle\mu\\
TTA&\xrightarrow[\mu]{}&TA\end{matrix}
  • (항등원의 성질) 임의의 대상 A\in\mathcal C에 대하여, \eta_{TA}\circ\mu_A=T\eta_A\circ\mu_A=\operatorname{id}_A. 즉, 다음 두 그림이 가환한다.
\begin{matrix}
TA&\xrightarrow\eta&TTA\\
&{\scriptstyle\operatorname{id}}\searrow&\downarrow\scriptstyle\mu\\
&&TA\end{matrix}\qquad\qquad\begin{matrix}
TA&\xrightarrow{T\eta}&TTA\\
&{\scriptstyle\operatorname{id}}\searrow&\downarrow\scriptstyle\mu\\
&&TA\end{matrix}

모나드 위의 대수[편집]

모나드 T\colon\mathcal C\to\mathcal C 위의 대수(영어: algebra over T) (A,\operatorname{eval})는 다음과 같은 순서쌍이다.

  • A\in\mathcal C\mathcal C의 대상이다.
  • \operatorname{ev}\colon TA\to A\mathcal C의 사상이다.

이는 다음 두 그림들을 가환하게 만들어야만 한다.

\begin{matrix}
TTA&\xrightarrow\mu&TA&\xleftarrow\eta&A\\
{\scriptstyle T\operatorname{ev}}\downarrow&&\downarrow\scriptstyle\operatorname{ev}&\swarrow\scriptstyle\operatorname{id}\\
TA&\xrightarrow[\alpha]{}&A
\end{matrix}

[편집]

범주 \mathcal C 위의 항등 함자 \operatorname{id}_{\mathcal C}\colon\mathcal C\to\mathcal C는 모나드이다. 이 모나드 위의 대수는 (항등 사상이 갖추어진) \mathcal C의 대상 (A,\operatorname{id}_A)이다.

폐포[편집]

모나드의 대표적인 예는 폐포 연산자이다. 위상 공간 X의 집합들과 그 포함관계들의 범주 \mathcal P(X)를 생각하자. 그렇다면 폐포 연산자 \operatorname{cl}\colon\mathcal P(X)\to\mathcal P(X)는 함자를 이루며, 또한 다음과 같은 자연 변환들이 존재한다.

  • (\eta) S\subset\operatorname{cl}(S)
  • (\mu) \operatorname{cl}(\operatorname{cl}(S))=\operatorname{cl}(S)

이들은 모나드 공리들을 만족시킨다. 따라서 닫힘 연산자는 \mathcal P(X)의 모나드다. 이 모나드 위의 대수는 닫힌집합이다.

대수 구조 다양체[편집]

모나드의 다른 예로, 대수 구조 다양체를 들 수 있다. 대수 구조 다양체 V가 주어졌을 때, 함자 T\colon\operatorname{Set}\to\operatorname{Set}를 다음과 같이 정의하자.

  • 집합 S에 대하여, TSS로부터 생성되는 자유 대수이다.
  • 함수 f\colon S\to S' 및 항 t\in TS에 대하여, Tf(t)\in S't 속에 등장하는 모든 상수 s\in Sf(s)로 치환하여 얻는 항이다.

이 경우, 다음과 같이 모나드의 구조를 줄 수 있다.

  • \mu_S\colon TTS\to TS는 대수 TS 위의 자유 대수 TTS에서, TS에서 성립하는 등식들에 대하여 몫을 취하는 준동형이다.
  • \eta_S\colon S\to TSs\in S를, 하나의 상수로만 구성된 항으로 대응시킨다.

T 위의 대수는 V에 속한 대수 구조이다.

수반 함자[편집]

수반 함자

F\colon\mathcal C\to\mathcal D
G\colon\mathcal D\to\mathcal C
F\dashv G
\eta\colon\operatorname{id}_{\mathcal D}\Rightarrow G\circ F
\epsilon\colon F\circ G\Rightarrow \operatorname{id}_{\mathcal C}

가 주어졌을 때,

G\circ F\colon\mathcal C\to\mathcal C

는 항상 모나드를 이룬다. 이 경우, 모나드 항등 사상은 \eta이며, 모나드 합성 사상은

G\epsilon F\colon G\circ F\circ G\circ F\Rightarrow G\circ F

이다.

콤팩트 하우스도르프 공간[편집]

집합 S에 대하여, TSS 위의 모든 초필터들의 집합이라고 하자. 함수 S\to S'에 대하여

Tf\colon TS\to TS'
Tf\colon\mathcal U\mapsto\{f(U)\colon U\in\mathcal U\}

로 놓으면, T\colon\operatorname{Set}\to\operatorname{Set}는 함자를 이룬다.

여기에 다음과 같은 자연 변환을 정의하자.

\eta\colon\operatorname{id}_{\operatorname{Set}}\Rightarrow T
\eta_S\colon s\mapsto\uparrow s=\{U\subseteq\mathcal S\colon s\in U\}
\mu\colon TT\Rightarrow T
V\in\mu_S(\mathfrak U)\iff\uparrow V=\{\mathcal F\in TS\colon V\in\mathcal F\}\in\mathfrak U

그렇다면 이는 집합의 범주 위의 모나드를 이룬다.

이 모나드 위의 대수는 콤팩트 하우스도르프 공간과 같다. 구체적으로, (S,\lim)T 위의 대수라고 하자. 그렇다면, S 위에, 다음 조건을 만족시키는 위상을 줄 수 있다.

  • 임의의 초필터 \mathcal U\in TS에 대하여, \lim\mathcal U\in SS 위의 위상에 따른 수렴과 일치한다.

이러한 위상은 유일하며, 또한 콤팩트 하우스도르프 위상임을 보일 수 있다.

이 모나드는 다음과 같은 수반 함자로부터 유래한다.

|\cdot|\colon\operatorname{CompHaus}\to\operatorname{Set}
\beta\colon\operatorname{Set}\to\operatorname{CompHaus}
\beta\dashv|\cdot|

여기서 \operatorname{CompHaus}는 콤팩트 하우스도르프 공간 및 연속 함수의 범주이고, |\cdot|은 콤팩트 하우스도르프 공간을 그 점들의 집합으로 대응시키는 함자이며, \beta는 어떤 집합에 이산 위상을 부여한 뒤 그 스톤-체흐 콤팩트화를 취하는 함자이다.

역사[편집]

로제 고드망(프랑스어: Roger Godement)이 1958년에 ‘표준 작도’(프랑스어: construction standard)라는 이름으로 도입하였다.[1] 이후 "삼중"(영어: triple)이라는 이름으로 불리기도 했는데, 이는 모나드의 구성 성분 (T,\mu,\eta)이 셋인 것에서 유래하였다. 이후 장 베나부(프랑스어: Jean Bénabou)는 ‘모나드’라는 용어를 도입하였고, 손더스 매클레인은 저서에서 이 용어를 사용하였다.

이러한 뜻으로 ‘삼중’을 사용하는 것은 순서 삼중쌍과 쓸데없이 혼동을 극대화시켰다. 또한, ‘삼중 유도 함자’ 따위의 용어는 세상 어느 것으로부터도 세 번 거듭해서 유도된 함자가 아니다. 따라서 대신 ‘모나드’라는 용어를 사용하겠다.

The frequent but unfortunate use of the word “triple” in this sense has achieved a maximum of needless confusion, what with the conflict with ordered triple, plus the use of associated terms such as “triple derived functors” for functors which are not three times derived from anything in the world. Hence the term monad.

 
[2]:138

응용[편집]

하스켈 등 함수형 프로그래밍 언어에서 입출력 및 데이터 구조를 다룰 때 쓰인다.

참고 문헌[편집]

  1. Godement, R. (1958). 《Topologie algébrique et théorie des faisceaux》 (프랑스어). Actualités scientifiques et industrielles 1252 1판. Hermann & Cie. Zbl 0080.16201. 
  2. Mac Lane, Saunders (1998). 《Categories for the working mathematician》 (영어). Graduate Texts in Mathematics 5 2판. Springer. doi:10.1007/978-1-4757-4721-8. ISBN 978-1-4419-3123-8. ISSN 0072-5285. MR 1712872. Zbl 0906.18001. 

바깥 고리[편집]