심벌 마크
유니온백과
통신
다운로드하기 Google Play
새로운! 안드로이드 ™에 유니온백과를 다운로드 할 수 있습니다
설치하십시오
브라우저보다 빠른!
 

단체 범주

색인 단체 범주

호모토피 이론에서, 단체 범주(單體範疇)는 공집합이 아닌 유한 정렬 집합들의 범주이며, 첨가 단체 범주(添加單體範疇)는 공집합을 포함한 모든 유한 정렬 집합들의 범주이.

59 처지: 동치, 동형 사상, 막대 복합체, 모나드 (범주론), 모노이드 범주, 모노이드 대상, 모형 범주, 미분 등급 대수, 가군, 가산 집합, 가환환, 결합 대수, 범주 (수학), 범주의 동치, 공집합, 공역 (수학), 분리 합집합, 대칭 모노이드 범주, 단조함수, 단체 (수학), 단체 집합, 단사 함수, 특이 호몰로지, 자기 사상, 자연 변환, 자연수, 작은 범주, 전순서 집합, 정렬 원순서 집합, 정규화 사슬 복합체, 정의역, 집합, 집합의 크기, 체 (수학), 충실한 함자와 충만한 함자, 층 (수학), 쌍대곱, 유한 집합, 위상 공간 (수학), 순서수, 호모토피, 호몰로지, 호몰로지 대수학, 호흐실트 호몰로지, 연속 함수, 풍성한 범주, 사슬 복합체, 사상 (수학), 토포스, 함자 (수학), ..., 함수, 함수의 합성, 아벨 범주, 아벨 군, 쉼표 범주, 시작 대상과 끝 대상, 퀼런 수반 함자, 환의 표수, 완비 범주. 색인을 확장하십시오 (9 더) »

동치

수학과 논리학에서 동치(同値)란 두 문장이 논리적으로 같다는 것을 의미.

새로운!!: 단체 범주와 동치 · 더보기 »

동형 사상

수학에서, 동형 사상(同型寫像)은 서로 구조가 같은 두 대상 사이에, 모든 구조를 보존하는 사상이.

새로운!!: 단체 범주와 동형 사상 · 더보기 »

막대 복합체

호몰로지 대수학에서, 막대 복합체(막대複合體)는 가환환 위의 결합 대수에 대하여 정의되는 완전열이.

새로운!!: 단체 범주와 막대 복합체 · 더보기 »

모나드 (범주론)

범주론에서, 모나드()는 내부 함자 범주의 모노이드 대상이.

새로운!!: 단체 범주와 모나드 (범주론) · 더보기 »

모노이드 범주

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

새로운!!: 단체 범주와 모노이드 범주 · 더보기 »

모노이드 대상

범주론에서, 모노이드 대상(monoid對象)은 모노이드 범주에서 모노이드와 같은 성질을 가진 대상이.

새로운!!: 단체 범주와 모노이드 대상 · 더보기 »

모형 범주

호모토피 이론에서, 모형 범주(模型範疇)는 호모토피 이론을 전개할 수 있기에 충분한 구조가 갖추어져 있는 추상적인 범주이.

새로운!!: 단체 범주와 모형 범주 · 더보기 »

미분 등급 대수

호몰로지 대수학에서, 미분 등급 대수(微分等級代數,, 약자 DGA)는 곱규칙을 만족시키는 공경계 연산이 주어진 공사슬 복합체이.

새로운!!: 단체 범주와 미분 등급 대수 · 더보기 »

가군

환론에서, 가군(加群)은 어떤 환의 작용이 주어진 아벨 군이.

새로운!!: 단체 범주와 가군 · 더보기 »

가산 집합

산 집합(可算集合, countable set)은 자연수의 집합으로의 단사 함수가 존재하는 집합을 말. 즉 집합의 원소들이 가산(덧셈과 뺄셈)이 가능함을 말. 가산집합이 아닌 집합을 비가산 집합(非可算集合, uncountable set)이.

새로운!!: 단체 범주와 가산 집합 · 더보기 »

가환환

환대수학에서, 가환환(可換環)이란 곱셈이 교환 법칙을 만족시키는 환이.

새로운!!: 단체 범주와 가환환 · 더보기 »

결합 대수

상대수학에서, 결합 대수(結合代數)는 결합 법칙을 만족시키는 대수이.

새로운!!: 단체 범주와 결합 대수 · 더보기 »

범주 (수학)

범주론에서, 범주(範疇)는 추상적인 구조와 이를 보존하는 변환의 개념을 형식화한 것이.

새로운!!: 단체 범주와 범주 (수학) · 더보기 »

범주의 동치

범주론에서, 두 범주 사이의 동치(同値, equivalence (of categories))는 두 범주가 사실상 같은 구조를 지니게 하는 함자이다.

새로운!!: 단체 범주와 범주의 동치 · 더보기 »

공집합

공집합의 기호 수학에서, 공집합(空集合)은 원소가 하나도 없는 집합이.

새로운!!: 단체 범주와 공집합 · 더보기 »

공역 (수학)

수학에서, 어떤 함수의 공역(共域) 또는 공변역(共變域)은 이 함수의 값들이 속하는 집합이.

새로운!!: 단체 범주와 공역 (수학) · 더보기 »

분리 합집합

수학에서, 분리 합집합(分離合集合) 또는 서로소 합집합(-素合集合)은 원소들에게 그들이 속하던 집합에 대한 첨수를 추가하도록 변형된 합집합이.

새로운!!: 단체 범주와 분리 합집합 · 더보기 »

대칭 모노이드 범주

범주론에서, 대칭 모노이드 범주(對稱monoid範疇)는 동형 사상 아래 결합 법칙과 교환 법칙이 성립하고, 동형 사상 아래 항등원이 존재하는 이항 연산을 갖는 범주이.

새로운!!: 단체 범주와 대칭 모노이드 범주 · 더보기 »

단조함수

조 증가. 강한 단조 증가는 아니다. 수학에서, 단조 함수(單調函數)는 주어진 순서를 보존하는 함수이.

새로운!!: 단체 범주와 단조함수 · 더보기 »

단체 (수학)

수학에서, 단체(單體)는 삼각형과 사면체의 임의의 차원에 대한 일반화이.

새로운!!: 단체 범주와 단체 (수학) · 더보기 »

단체 집합

호모토피 이론에서, 단체 집합(單體集合)은 위상 공간의 조합론적인 표현의 일종이.

새로운!!: 단체 범주와 단체 집합 · 더보기 »

단사 함수

사 함수의 예 단사 함수가 아닌 예 (이는 전사 함수이기는 하다). 수학에서, 단사 함수(單射函數) 또는 일대일 함수(一對一函數)는 정의역의 서로 다른 원소를 공역의 서로 다른 원소로 대응시키는 함수이.

새로운!!: 단체 범주와 단사 함수 · 더보기 »

특이 호몰로지

수적 위상수학에서, 특이 호몰로지(特異homology)는 단체를 사용하여 정의하는 호몰로지 이론이.

새로운!!: 단체 범주와 특이 호몰로지 · 더보기 »

자기 사상

수학에서, 자기 사상(自己寫像)은 그 정의역과 공역이 같은 사상이.

새로운!!: 단체 범주와 자기 사상 · 더보기 »

자연 변환

범주론에서, 자연 변환(自然變換)은 두 함자 사이에 범주적 구조를 보존하는 변환이.

새로운!!: 단체 범주와 자연 변환 · 더보기 »

자연수

수학에서, 자연수(自然數)는 수를 셀 때나 순서를 매길 때 사용되는 수이.

새로운!!: 단체 범주와 자연수 · 더보기 »

작은 범주

범주론에서, 작은 범주(-範疇)는 그 대상의 모임과 사상의 모임이 충분히 “작은” 범주를 말. 그 정확한 의미는 사용하는 수학 기초론에 따라 달라지는데, 예를 들어 그로텐디크 전체를 사용할 경우 대상과 사상의 집합이 사용되는 그로텐디크 전체의 원소이어야.

새로운!!: 단체 범주와 작은 범주 · 더보기 »

전순서 집합

순서론에서, 전순서 집합(全順序集合)는 임의의 두 원소를 비교할 수 있는 부분 순서 집합이.

새로운!!: 단체 범주와 전순서 집합 · 더보기 »

정렬 원순서 집합

순서론과 집합론에서, 정렬 원순서 집합(整列原順序集合)은 모든 부분 집합이 양의 정수 개의 극소 원소 동치류를 갖는 원순서 집합이.

새로운!!: 단체 범주와 정렬 원순서 집합 · 더보기 »

정규화 사슬 복합체

호몰로지 대수학에서, 정규화 사슬 복합체(正規化사슬複合體)는 아벨 범주의 단체 대상에 대하여 정의되는 사슬 복합체이.

새로운!!: 단체 범주와 정규화 사슬 복합체 · 더보기 »

정의역

수학에서, 어떤 함수의 정의역(定義域)은 그 함수의 값이 정의된 집합이.

새로운!!: 단체 범주와 정의역 · 더보기 »

집합

9개의 다각형의 집합을 나타낸 오일러 다이어그램 수학에서, 집합(集合)은 명확한 기준에 의하여 주어진 서로 다른 대상들이 모여 이루는 새로운 대상이.

새로운!!: 단체 범주와 집합 · 더보기 »

집합의 크기

집합론에서, 집합의 크기() 또는 농도(濃度)는 집합의 "원소 개수"에 대한 척도이.

새로운!!: 단체 범주와 집합의 크기 · 더보기 »

체 (수학)

상대수학에서, 체(體)는 사칙연산이 자유로이 시행될 수 있고, 산술의 잘 알려진 규칙들을 만족하는 대수 구조이.

새로운!!: 단체 범주와 체 (수학) · 더보기 »

충실한 함자와 충만한 함자

범주론에서 충실한 함자(忠實-函子)는 임의의 사상집합에 제한한 것이 단사 함수가 되는 함자를 말. 이것이 전사 함수인 경우에는 충만한 함자(充滿-函子).

새로운!!: 단체 범주와 충실한 함자와 충만한 함자 · 더보기 »

층 (수학)

수학에서, 층(層)은 어떤 위상 공간에서, 각 점에 국소적 구조를 붙인 것이.

새로운!!: 단체 범주와 층 (수학) · 더보기 »

쌍대곱

범주론에서, 쌍대곱(雙對-, coproduct)은 곱에 대한 쌍대(dual) 개념이.

새로운!!: 단체 범주와 쌍대곱 · 더보기 »

유한 집합

수학에서, 유한 집합(有限集合)이란 집합의 원소의 개수가 한정되어 원소의 개수가 무한개가 아닌 집합을 의미.

새로운!!: 단체 범주와 유한 집합 · 더보기 »

위상 공간 (수학)

일반위상수학에서, 위상 공간(位相空間)은 어떤 점의 근처(근방)가 무엇인지에 대한 정보를 담고 있지만, 점 사이의 거리나 넓이·부피 따위의 정보를 포함하지 않는 공간이.

새로운!!: 단체 범주와 위상 공간 (수학) · 더보기 »

순서수

\omega^\omega 이하의 순서수들의 형상화 집합론에서, 순서수(順序數)는 정렬 전순서 집합들의 "길이"를 측정하는 수의 일종이.

새로운!!: 단체 범주와 순서수 · 더보기 »

호모토피

수적 위상수학에서, 호모토피() 또는 연속 변형 함수(連續變形函數)는 어떤 위상 공간을 공역으로 하는 특정한 연속 함수이.

새로운!!: 단체 범주와 호모토피 · 더보기 »

호몰로지

수학(특히 대수적 위상수학과 추상대수학)에서 호몰로지('동일한'이라는 뜻의 그리스어 homos에서 나옴)는 (위상 공간이나 군 등의) 수학적 대상에 아벨 군이나 모듈의 열을 대응시키는 일반적인 과정이.

새로운!!: 단체 범주와 호몰로지 · 더보기 »

호몰로지 대수학

호몰로지 대수학(homology代數學)이란 수학의 한 분야로 대수적 위상수학에서 비롯된 호몰로지와 코호몰로지를 더 일반적인 상황에서 연구하는 것을 말. 호몰로지 대수는 주로 아벨 범주에 정의된 완전열을.

새로운!!: 단체 범주와 호몰로지 대수학 · 더보기 »

호흐실트 호몰로지

상대수학에서, 호흐실트 호몰로지()와 호흐실트 코호몰로지()는 가환환 위의 결합 대수에 대하여 정의되는 호몰로지 · 코호몰로지 이론이.

새로운!!: 단체 범주와 호흐실트 호몰로지 · 더보기 »

연속 함수

위상수학과 해석학에서, 연속 함수(連續函數)는 정의역의 점의 "작은 변화"에 대하여, 치역의 값 역시 작게 변화하는 함수이.

새로운!!: 단체 범주와 연속 함수 · 더보기 »

풍성한 범주

범주론에서, 풍성한 범주(豐盛-範疇)는 "사상 집합"이 집합 대신 다른 모노이드 범주의 대상이 될 수 있는, 범주의 개념의 일반화이.

새로운!!: 단체 범주와 풍성한 범주 · 더보기 »

사슬 복합체

호몰로지 대수학에서, 사슬 복합체(-複合體)는 일련의 멱영 사상들을 갖춘, 아벨 범주의 대상들의 열이.

새로운!!: 단체 범주와 사슬 복합체 · 더보기 »

사상 (수학)

수학에서 사상(寫像)은 수학적 구조를 보존하는 함수의 개념을 추상화한 것이.

새로운!!: 단체 범주와 사상 (수학) · 더보기 »

토포스

범주론, 논리학과 대수기하학에서, 토포스(복수)는 어떤 공간 위의 층들의 범주와 유사한 성질을 갖는 범주이.

새로운!!: 단체 범주와 토포스 · 더보기 »

함자 (수학)

범주론에서 함자(函子)는 두 범주 사이의 함수에 해당하는 구조로, 대상을 대상으로, 사상을 사상으로 대응시.

새로운!!: 단체 범주와 함자 (수학) · 더보기 »

함수

수를 상자에 비유한 그림. 수학에서, 함수(函數) 또는 사상(寫像)은 첫 번째 집합의 임의의 한 원소를 두 번째 집합의 오직 한 원소에 대응시키는 대응 관계이.

새로운!!: 단체 범주와 함수 · 더보기 »

함수의 합성

수 g\circ f. 예를 들어 (g\circ f)(c).

새로운!!: 단체 범주와 함수의 합성 · 더보기 »

아벨 범주

호몰로지 대수학에서, 아벨 범주(Abel範疇)는 아벨 군의 범주 또는 주어진 환에 대한 가군의 범주와 유사한 성질을 가진 범주이.

새로운!!: 단체 범주와 아벨 범주 · 더보기 »

아벨 군

에서, 아벨 군(Abel群) 또는 가환군(可換群)은 교환 법칙이 성립하는 군이.

새로운!!: 단체 범주와 아벨 군 · 더보기 »

쉼표 범주

범주론에서, 쉼표 범주(-標範疇)는 같은 공역을 갖는 두 함자로부터 정의되고, 함자들의 공역의 사상들을 대상으로 하는 범주이.

새로운!!: 단체 범주와 쉼표 범주 · 더보기 »

시작 대상과 끝 대상

범주론에서, 시작 대상(始作對象)과 끝 대상(-對象)은 매우 단순하여, 이 대상을 정의역 또는 공역으로 하는 사상이 하나밖에 없는 대상이.

새로운!!: 단체 범주와 시작 대상과 끝 대상 · 더보기 »

퀼런 수반 함자

호모토피 이론에서, 퀼런 수반 함자(Quillen隨伴函子)는 두 모형 범주 사이의 수반 함자 가운데, 모형 범주 구조와 호환되는 것이.

새로운!!: 단체 범주와 퀼런 수반 함자 · 더보기 »

환의 표수

환론에서, (1을 갖춘) 환의 표수(標數, characteristic)는 그 환이 부분환으로 포함하는 순환환 \mathbb Z/n\mathbb Z의 크기 n이.

새로운!!: 단체 범주와 환의 표수 · 더보기 »

완비 범주

범주론에서, 완비 범주(完備範疇)는 집합 크기의 모든 극한들을 갖는 범주이.

새로운!!: 단체 범주와 완비 범주 · 더보기 »

여기로 리디렉션합니다

단체 대상, 단체 아벨 군, 준단체 대상, 첨가 단체 범주, 첨가 단체 대상, 쌍대 단체 대상.

나가는들어오는
이봐 요! 우리는 지금 Facebook에 있습니다! »