단사 사상와 토포스

바로 가기: 차이점, 유사점, Jaccard 유사성 계수, 참고 문헌.

단사 사상와 토포스의 차이

단사 사상 vs. 토포스

범주론에서, 단사 사상(單射寫像)은 두 사상의 등식에서 왼쪽에 합성되어 있을 때, 소거할 수 있는 사상이. 범주론, 논리학과 대수기하학에서, 토포스(복수)는 어떤 공간 위의 층들의 범주와 유사한 성질을 갖는 범주이.

동치

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

단사 사상와 동치 · 동치와 토포스 · 더보기 »

동형 사상

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

단사 사상와 동형 사상 · 동형 사상와 토포스 · 더보기 »

범주 (수학)

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

단사 사상와 범주 (수학) · 범주 (수학)와 토포스 · 더보기 »

범주론

수학에서, 범주론(範疇論)는 수학적인 구조와 그 사이의 관계를 범주라는 추상적 개체로 다루는 이론이.

단사 사상와 범주론 · 범주론와 토포스 · 더보기 »

대수 구조 다양체

보편 대수학에서, 대수 구조 다양체()는 어떤 항등식들을 만족시키는 대수 구조들의 모임이.

단사 사상와 대수 구조 다양체 · 대수 구조 다양체와 토포스 · 더보기 »

군 (수학)

루빅스 큐브를 돌리는 방법들을 모은 집합은 군을 이룬다. 정이면체군 \operatornameDih(6)의 군 다이어그램 추상대수학에서, 군(群)은 결합 법칙과 항등원과 각 원소의 역원을 가지는 이항 연산을 갖춘 대수 구조이.

군 (수학)와 단사 사상 · 군 (수학)와 토포스 · 더보기 »

작은 범주

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

단사 사상와 작은 범주 · 작은 범주와 토포스 · 더보기 »

전사 사상

범주론에서, 전사 사상(全射寫像)은 두 사상의 등식에서 오른쪽에서 합성되어 있을 때, 소거할 수 있는 사상이.

단사 사상와 전사 사상 · 전사 사상와 토포스 · 더보기 »

집합

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

단사 사상와 집합 · 집합와 토포스 · 더보기 »

층 (수학)

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

단사 사상와 층 (수학) · 층 (수학)와 토포스 · 더보기 »

위상 공간 (수학)

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

단사 사상와 위상 공간 (수학) · 위상 공간 (수학)와 토포스 · 더보기 »

수반 함자

범주론에서, 수반 함자(隨伴函子) 또는 딸림 함자(-函子)는 두 개의 함자가 서로간에 가질 수 있는 일종의 밀접한 관계이.

단사 사상와 수반 함자 · 수반 함자와 토포스 · 더보기 »

역사상

범주론에서, 왼쪽 역사상(-逆寫像)과 오른쪽 역사상(-逆寫像)은 각각 왼쪽 또는 오른쪽에서 합성하였을 때 항등 사상이 되는 사상이.

단사 사상와 역사상 · 역사상와 토포스 · 더보기 »

연속 함수

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

단사 사상와 연속 함수 · 연속 함수와 토포스 · 더보기 »