23 처지: 데카르트 닫힌 범주, 동치, 모나드 (범주론), 모임 (수학), 반사 부분 범주, 범주론, 곱 (범주론), 부분 대상과 몫 대상, 극한 (범주론), 대수 구조 다양체, 단사 사상, 당김 (범주론), 자유 대상, 자연 변환, 작은 범주, 집합, 칸 확대, 커링, 생성 집합, 함자 (수학), 함수, 텐서곱, 완비 범주.
데카르트 닫힌 범주
범주론에서, 데카르트 닫힌 범주(Descartes닫힌範疇,, 약자 CCC)는 사상 집합을 대상으로 간주할 수 있어, 정의역이 곱 대상인 사상을, 사상 집합을 공역으로 갖는 사상으로 치환할 수 있는 범주이.
새로운!!: 수반 함자와 데카르트 닫힌 범주 · 더보기 »
동치
수학과 논리학에서 동치(同値)란 두 문장이 논리적으로 같다는 것을 의미.
모나드 (범주론)
범주론에서, 모나드()는 내부 함자 범주의 모노이드 대상이.
새로운!!: 수반 함자와 모나드 (범주론) · 더보기 »
모임 (수학)
집합론에서, 모임()은 특정한 성질을 만족하는 집합(혹은 그 외의 수학적 대상)을 모은 것이.
새로운!!: 수반 함자와 모임 (수학) · 더보기 »
반사 부분 범주
범주론에서, 반사 부분 범주(反射部分範疇)는 어떤 범주의 부분 범주에 대하여, 범주의 일반적 원소를 "표준적으로" 부분 범주에 속하도록 "완성할" 수 있는 성질을 갖는 충만한 부분 범주이.
새로운!!: 수반 함자와 반사 부분 범주 · 더보기 »
범주론
수학에서, 범주론(範疇論)는 수학적인 구조와 그 사이의 관계를 범주라는 추상적 개체로 다루는 이론이.
새로운!!: 수반 함자와 범주론 · 더보기 »
곱 (범주론)
범주론에서, 곱()은 곱집합이나 곱공간의 개념을 일반화한 개념이.
새로운!!: 수반 함자와 곱 (범주론) · 더보기 »
부분 대상과 몫 대상
범주론에서, 부분 대상(部分對象)은 어떤 범주에서 주어진 대상의 일부분으로 여길 수 있는 구조이며, 몫 대상(-對象)은 어떤 범주에서 주어진 대상에 동치 관계를 가한 것으로 여길 수 있는 구조이.
새로운!!: 수반 함자와 부분 대상과 몫 대상 · 더보기 »
극한 (범주론)
수학의 한 분야인 범주론에서 극한(極限)은 수학의 여러 분야에서 사용되는 보편적 구조물들(예로서 곱이나 역극한 등)이 갖는 공통된 성질을 보존하며 일반화시킨 추상적인 개념이.
새로운!!: 수반 함자와 극한 (범주론) · 더보기 »
대수 구조 다양체
보편 대수학에서, 대수 구조 다양체()는 어떤 항등식들을 만족시키는 대수 구조들의 모임이.
새로운!!: 수반 함자와 대수 구조 다양체 · 더보기 »
단사 사상
범주론에서, 단사 사상(單射寫像)은 두 사상의 등식에서 왼쪽에 합성되어 있을 때, 소거할 수 있는 사상이.
새로운!!: 수반 함자와 단사 사상 · 더보기 »
당김 (범주론)
범주론에서, 당김()은 어떤 한 쌍의 사상에 의해 결정되는, 곱의 일반화이.
새로운!!: 수반 함자와 당김 (범주론) · 더보기 »
자유 대상
범주론과 추상대수학에서, 자유 대상(自由對象)은 망각 함자의 왼쪽 수반 함자의 상이.
새로운!!: 수반 함자와 자유 대상 · 더보기 »
자연 변환
범주론에서, 자연 변환(自然變換)은 두 함자 사이에 범주적 구조를 보존하는 변환이.
새로운!!: 수반 함자와 자연 변환 · 더보기 »
작은 범주
범주론에서, 작은 범주(-範疇)는 그 대상의 모임과 사상의 모임이 충분히 “작은” 범주를 말. 그 정확한 의미는 사용하는 수학 기초론에 따라 달라지는데, 예를 들어 그로텐디크 전체를 사용할 경우 대상과 사상의 집합이 사용되는 그로텐디크 전체의 원소이어야.
새로운!!: 수반 함자와 작은 범주 · 더보기 »
집합
9개의 다각형의 집합을 나타낸 오일러 다이어그램 수학에서, 집합(集合)은 명확한 기준에 의하여 주어진 서로 다른 대상들이 모여 이루는 새로운 대상이.
칸 확대
범주론에서, 칸 확대(Kan擴大)는 어떤 함자의 정의역을 다른 정의역으로 바꾸는 "최적의" 방법이.
새로운!!: 수반 함자와 칸 확대 · 더보기 »
커링
수학과 컴퓨터 과학에서 커링이란 다중 인수 (혹은 여러 인수의 튜플)을 갖는 함수를 단일 인수를 갖는 함수들의 함수열로 바꾸는 것을 말. 모지즈 쇤핑클에 의해 도입되었고, 이후 해스켈 커리에 의해 발전하였.
생성 집합
범주론에서, 생성 집합(生成集合,, separating set)은 그 원소들의 쌍대곱의 몫 대상으로 모든 대상을 나타낼 수 있는, 범주 속의 대상 집합이.
새로운!!: 수반 함자와 생성 집합 · 더보기 »
함자 (수학)
범주론에서 함자(函子)는 두 범주 사이의 함수에 해당하는 구조로, 대상을 대상으로, 사상을 사상으로 대응시.
새로운!!: 수반 함자와 함자 (수학) · 더보기 »
함수
수를 상자에 비유한 그림. 수학에서, 함수(函數) 또는 사상(寫像)은 첫 번째 집합의 임의의 한 원소를 두 번째 집합의 오직 한 원소에 대응시키는 대응 관계이.
텐서곱
환론에서, 텐서곱()은 두 쌍가군 또는 가군 또는 결합 대수에 대하여 정의할 수 있는 이항 연산이.
새로운!!: 수반 함자와 텐서곱 · 더보기 »
완비 범주
범주론에서, 완비 범주(完備範疇)는 집합 크기의 모든 극한들을 갖는 범주이.
새로운!!: 수반 함자와 완비 범주 · 더보기 »
여기로 리디렉션합니다
좌수반 함자, 좌수반함자, 우수반 함자, 우수반함자, 수반 펑터, 수반함자, 오른쪽 수반 함자, 왼쪽 수반 함자, 프레이드 수반 함자 정리.