1. 철학 용어
Monad / 單子우주, 무한대를 더 이상 나눠지지 않을 때까지 쪼개었을 때 남는 최소한의 입자 개념으로 그리스어로는 μονάς[1] (monás, 모나스)라고 한다. 이는 고대 그리스의 숫자에 관한 믿음과 관련이 있다.
| 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 |
| 모나드 | 디아드 | 트리아드 | 테트라드 | 펜타드 | 헥사드 | 헵타드 | 옥타드 | 에나드 | 데카드 |
| 기원 | 대립 | 완성 | 4원소 | 인간, 결혼 | 균형 | 신성 | 완전 | 한계 | 질서 |
단, 염두에 둘 것이 있다. 단자는 물리적인 쿼크나 원자 수준이 아닌, 그보다 더 쪼개어져버린 입자, 즉 추상적인 개념을 가리킨다.
1.1. 라이프니츠의 모나드론
피타고라스주의자들이 자주 사용했던 용어인데, 이후에 라이프니츠가 다시 사용한 것으로 유명해졌다.피타고라스주의자들은 차원이 증강할 때 그 기본 단위가 되는 것을 모나드라고 불렀다. 1차원에서 2차원으로, 2차원에서 3차원으로 차원은 진화를 하는데, 이 진화의 기본 단위는 단일한 점이라는 것. 이 단일한 점은 모든 것의 기본이 되는 아무것도 아닌 것인데, 이것을 만물의 기원으로 보기도 했다.
이들에 따르면 세상의 모든 사물과 현상은 이것으로 이루어져 있기 때문에 자연 철학의 일종이라고 볼 수 있다. 데모크리토스의 원자설과는 다르다. 원자설이 실체적, 물리적 개념인 '입자'를 상정한다면 피타고라스주의자들의 모나드는 추상적인 개념인 '원점'을 상정하는 것이다.
라이프니츠는 이 모나드 개념을 존재의 본질적인 형상, 우주의 모든 원리가 담긴 소우주라고 보았다. 이와 같은 모나드는 각각의 모나드끼리 서로 교통하지 않지만 스스로 움직이며, 다른 모나드와 충돌하지 않는다. 이는 신에 의해 완벽한 질서가 부여되어 있는 것, 예정조화에 의해 움직이기 때문이라고 보았다.
이러한 모나드는 각자 서로 다른 소우주를 가지고 있지 않다. 모든 모나드에는 우주 전체가 잠재되어 있으며, A라는 모나드에서는 A라는 모나드의 모습만이 드러나고 있을 뿐이다. 이런 모나드는 상태가 변할지언정 본질은 영원하며 파괴되는 일은 발생하지 않는다.
모나드론은 상호작용이 환상이라고 주장한다. 그렇기 때문에 모나드론은 세상의 현실을 잘 반영하지 못하는 추상적 이론이라는 비판을 받았다.
2. 그리스의 유일신
플라톤교와 신플라톤교의 유일신의 신명이다. 플라톤교에서는 모나드가 형상과 존재를 창조하고, 그 하위존재인 데미우로고스가 물질세계를 형상화했다고 주장했다. 그리스 언어와 밀접하게 이름지어진 까닭인지 유일신론은 영어로 monotheism이다.3. 범주론에서 사용하는 용어
| 수학기초론 Foundations of Mathematics | |||
| {{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px" | 다루는 대상과 주요 토픽 | ||
| 수리논리학 | 논리(같음) · 논증{귀납논증 · 연역논증 · 귀추 · 유추} · 정리(보조정리) · 공리 및 공준 · 증명{반증 · PWW · 자명함 · 귀류법 · 수학적 귀납법 · 더블 카운팅 · 자동정리증명(증명보조기)} · 논리함수 · 논리 연산 · 잘 정의됨 · 조건문(조각적 정의) · 명제 논리(명제 · 아이버슨 괄호 · 역 · 이 · 대우) · 양상논리 · 술어 논리(존재성과 유일성) · 형식문법 · 타입 이론 · 모델 이론 · 동형(수학) | ||
| 계산 이론 | 계산 · 오토마타 · 튜링 머신 · 바쁜 비버 · 정지 문제 · 재귀함수 | ||
| 정리 | |||
| 드모르간 법칙 · 러셀의 역설 · 거짓말쟁이의 역설 · 뢰벤하임-스콜렘 정리 · 퍼스의 법칙 · 굿스타인 정리 · 완전성 정리 · 불완전성 정리(괴델 부호화) · 퍼지 논리 | |||
| 기타 | |||
| 예비사항(약어 및 기호) · 추상화 · 벤 다이어그램 · 수학철학 | |||
| 틀:논리학 · 틀:집합론 · 틀:범주론 · 틀:이산수학 · 틀:이론 컴퓨터 과학 · 철학 관련 정보 · 논리학 관련 정보 · 수학 관련 정보 | }}}}}}}}} | ||
4. 프로그래밍 용어
#!if (문단 == null) == (앵커 == null)
를#!if 문단 != null & 앵커 == null
의 [[Haskell/특징/모나드#s-|]]번 문단을#!if 문단 == null & 앵커 != null
{{{#!if 문서명 = 문서명 != null ? 문서명 : calleeTitle
의 [[Haskell/특징/모나드#|]] 부분을}}}- 2번 문단의 개념을 차용한 것이다.
- 모나드(Monad)는 프로그래밍 언어 하스켈에서 타입 클래스의 이름이다.
- 한편 APL에서는 단순히 인자가 1개인 함수를 뜻한다. 두 개면 dyad이다.[2]
5. 중외제약에서 생산하는 피나스테리드 성분의 탈모약
6. 창작물
6.1. 게임 메이플스토리의 블록버스터
#!if (문단 == null) == (앵커 == null)
를#!if 문단 != null & 앵커 == null
의 [[모나드: 첫 번째 징조#s-|]]번 문단을#!if 문단 == null & 앵커 != null
{{{#!if 문서명 = 문서명 != null ? 문서명 : calleeTitle
의 [[모나드: 첫 번째 징조#|]] 부분을}}}6.2. 제노블레이드 크로니클스 시리즈에 등장하는 무기
#!if (문단 == null) == (앵커 == null)
를#!if 문단 != null & 앵커 == null
의 [[슈르크#s-|]]번 문단을#!if 문단 == null & 앵커 != null
{{{#!if 문서명 = 문서명 != null ? 문서명 : calleeTitle
의 [[슈르크#|]] 부분을}}}[1] 3격변화 명사라 어근은 μονάδ-이다.[2] https://en.wikipedia.org/wiki/Monad_(functional_programming)