검색 결과
둘러보기로 이동
검색으로 이동
문서 제목 일치
- [[범주론]]에서 '''체'''({{llang|en|sieve}}, {{llang|fr|crible}})는 주어진 대상을 향하는 일부 사상들을 골 [[분류:범주론]] ...7 KB (647 단어) - 2023년 11월 26일 (일) 13:43
- [[범주론]]에서 '''국소화'''(局所化, {{llang|en|localization}})는 [[범주 (수학)|범주]]의 일부 [[사상 (수학) [[분류:범주론]] ...12 KB (953 단어) - 2023년 12월 17일 (일) 05:51
- [[범주론]]에서 '''끝'''({{llang|en|end|엔드}})과 '''쌍대끝'''(雙對-, {{llang|en|coend|코엔드}})은 어 [[분류:범주론]] ...7 KB (723 단어) - 2024년 5월 21일 (화) 11:35
- ...주론]]에서 '''극한'''(極限, {{llang|en|limit}})은 수학의 여러 분야에서 사용되는 보편적 구성들(예로서 [[곱 (범주론)|곱]]이나 [[역극한]] 등)이 갖는 공통된 성질을 잡아내어 일반화시킨 개념이다. 그 쌍대 개념인 '''쌍대극한'''(雙對極限, {{ | [[곱 (범주론)|곱]] || [[쌍대곱]] ...7 KB (564 단어) - 2025년 3월 11일 (화) 13:21
- ...이나 [[곱위상|곱공간]]의 개념을 일반화한 개념이다. 항등사상 이외의 사상을 포함하지 않는 [[그림 (범주론)|그림]]의 [[극한 (범주론)|극한]]이다. 즉, 다음 [[그림 (범주론)|그림]]을 가환시키는 유일한 <math>f</math>가 존재한다. ...4 KB (383 단어) - 2024년 5월 8일 (수) 02:37
- [[범주론]]에서 '''모나드'''({{llang|en|monad}})는 내부 함자 범주의 [[모노이드 대상]]이다. [[폐포연산]]과 [[대수 ...<math>\mathcal C\to\mathcal C</math>들을 대상으로 하고, 이들 사이의 [[자연 변환]]들을 [[사상 (범주론)|사상]]으로 하는 [[자기 함자 범주]] <math>\operatorname{End}(\mathcal C)</math>를 생각하자. ...17 KB (1,552 단어) - 2025년 3월 11일 (화) 09:25
- [[범주론]]에서 '''당김'''({{llang|en|pullback|풀백}})은 어떤 한 쌍의 사상에 의해 결정되는, [[곱 (범주론)|곱]]의 일반화이다. 일부 범주에서는 흔히 '''올곱'''({{llang|en-US|fibered product}}, {{llang| 이는 범주론적 [[극한 (범주론)|극한]]을 이루어야 한다. 즉, 다음과 같은 [[보편 성질]]을 만족시켜야 한다. 다른 모든 대상 <math>P'</math> 및 사 ...11 KB (725 단어) - 2024년 5월 8일 (수) 03:15
- [[범주론]]에서 '''밂'''({{llang|en|pushout|푸시아웃}})은 어떤 한 쌍의 사상에 의해 결정되는, [[쌍대곱]]의 일반화이다 밂은 [[당김 (범주론)|당김]]의 반대 개념이다. 즉, 범주 <math>\mathcal C</math>에서의 밂은 그 [[반대 범주]] <math>\math ...4 KB (357 단어) - 2024년 5월 5일 (일) 08:30
- [[범주론]]에서 '''신경'''(神經, {{llang|en|nerve}})은 [[작은 범주]]로부터 구성되는 [[단체 집합]]이다. [[분류:범주론]] ...9 KB (740 단어) - 2022년 7월 28일 (목) 02:21
문서 내용 일치
- [[선형대수학]]과 [[범주론]]에서 '''여핵'''(餘核, {{llang|en|cokernel|코커널}})은 [[핵 (수학)|핵]]에 대한 쌍대({{lang|en| ...|사상]] <math>f\colon X\to Y</math>의 여핵은 다음과 같은 [[그림 (범주론)|그림]]을 가환시키는 [[극한 (범주론)|쌍대극한]]({{lang|en|colimit}}) <math>(Q,q\colon Y\to Q)</math>이다. ...2 KB (94 단어) - 2024년 5월 5일 (일) 19:09
- [[범주론]]에서 '''펼침'''({{llang|en|span|스팬}})은 범주 속의, 같은 [[정의역]]을 갖는 [[사상 (수학)|사상]]의 [ [[범주 (수학)|범주]] <math>\mathcal C</math>가 모든 [[밂 (범주론)|밂]]을 갖는다고 하자. ...2 KB (137 단어) - 2024년 6월 5일 (수) 07:34
- [[범주론]]에서 '''쌍대곱'''(雙對-, {{llang|en|coproduct}})은 [[곱 (범주론)|곱]]에 대한 쌍대({{lang|en|dual}}) 개념이다. [[가군]]의 [[직합]]이나 [[집합]]의 [[분리 합집합]] 등을 즉, 다음 [[그림 (범주론)|그림]]을 가환시키는 유일한 <math>f</math>가 존재한다. ...3 KB (183 단어) - 2025년 2월 27일 (목) 03:09
- [[범주론]]에서 범주 <math>C</math>에 대한 준층의 '''극한''' 또는 '''여극한'''은 함자 범주 <math>\widehat{C 범주 <math>\widehat{C}</math>는 작은 [[극한 (범주론)|극한]]들과 작은 [[극한 (범주론)|여극한]]들을 인정한다.<ref>{{괄호 없는 하버드 인용|Kashiwara|Schapira|2006|loc=Corollary 2.4 ...2 KB (169 단어) - 2023년 3월 7일 (화) 13:18
- [[범주론]]에서 '''모노이드 대상'''(monoid對象, {{llang|en|monoid object}})은 [[모노이드 범주]]에서 [[모노 ...to M</math>, <math>e\colon I\to M</math>는 <math>\mathcal C</math> 속의 [[사상 (범주론)|사상]]이다. 이들은 각각 [[모노이드]]의 [[이항 연산]] 및 [[항등원]]에 해당한다. ...3 KB (233 단어) - 2022년 7월 28일 (목) 01:27
- 이는 [[극한 (범주론)|극한]]의 간단한 예이며, 이 경우 지표 범주 <math>J</math>는 두 개의 대상 <math>X,Y</math> 및 사상 집합 만약 범주 <math>\mathcal C</math>가 [[곱 (범주론)|곱]] 및 [[당김 (범주론)|당김]]을 갖는다면, 항상 동등자를 갖는다. 구체적으로, 다음과 같은 사상을 생각하자. ...3 KB (301 단어) - 2025년 3월 3일 (월) 11:59
- [[범주론]]에서 '''보편 성질'''(普遍性質, {{llang|en|universal property}})은 어떤 조건을 최적하게 만족시켜, 대 * [[극한 (범주론)]] ...2 KB (194 단어) - 2024년 5월 3일 (금) 14:22
- ...서, '''여과 범주'''(濾過範疇, {{llang|en|filtered category}})는 [[상향 원순서 집합]]의 개념의 [[범주론]]적 일반화이다. 여과 범주를 [[정의역]]으로 하는 [[쌍대 극한]]은 유한 [[극한 (수학)|극한]]과 가환한다. ...<math>\mathcal C</math> 및 임의의 [[작은 범주]] <math>\mathcal J</math>에 대하여 [[극한 (범주론)|극한]] 함자 ...5 KB (403 단어) - 2024년 5월 9일 (목) 03:06
- [[범주론]]에서 '''완비 범주'''(完備範疇, {{llang|en|complete category}})는 집합 크기의 모든 [[극한 (범주론)|극한]]들을 갖는 [[범주 (수학)|범주]]이다. ...]] <math>F\colon\mathcal J\to\mathcal C</math>에 대하여, <math>F</math>는 [[극한 (범주론)|극한]] <math>\varprojlim F</math>를 갖는다. ...6 KB (376 단어) - 2024년 5월 18일 (토) 11:10
- ...이나 [[곱위상|곱공간]]의 개념을 일반화한 개념이다. 항등사상 이외의 사상을 포함하지 않는 [[그림 (범주론)|그림]]의 [[극한 (범주론)|극한]]이다. 즉, 다음 [[그림 (범주론)|그림]]을 가환시키는 유일한 <math>f</math>가 존재한다. ...4 KB (383 단어) - 2024년 5월 8일 (수) 02:37
- [[범주론]]에서 '''부분 대상 분류자'''(部分對象分類子, {{llang|en|subobject classifier}})는 주어진 대상의 각각 ...to1</math>이 <math>Y\xrightarrow{\chi_\iota}2\xleftarrow\top1</math>의 [[당김 (범주론)|당김]]이 되는 사상 <math>\chi_\iota\colon Y\to2</math>이 유일하게 존재한다. ...4 KB (287 단어) - 2024년 5월 5일 (일) 16:04
- [[범주론]]에서, 두 [[범주 (수학)|범주]] 사이의 '''동치'''(同値, {{llang|en|equivalence (of categorie 서로 동치인 두 범주는 [[범주론]]에서 다루는 거의 모든 성질이 같다. 예를 들어, 동치는 모든 [[극한 (범주론)|극한]]과 [[쌍대극한]]을 보존하며, 또한 [[전사 사상]] 및 [[단사 사상]]을 보존한다. ...3 KB (184 단어) - 2024년 9월 3일 (화) 16:54
- {{다른 뜻|당김 (범주론)|미분기하학의 개념|[[범주론]]의 개념}} * [[당김 (범주론)]] ...3 KB (251 단어) - 2024년 6월 4일 (화) 01:56
- [[범주론]]에서 '''내적 범주'''(內的範疇, {{llang|en|internal category}})는 [[작은 범주]]의 정의에서 사용되는 [[범주 (수학)|범주]] <math>\mathcal C</math>가 유한 [[곱 (범주론)|곱]] 및 [[당김 (범주론)|당김]]을 갖는다고 하자. 그렇다면, <math>\mathcal C</math> 속의 '''내적 범주'''({{llang|en|int ...5 KB (452 단어) - 2024년 5월 18일 (토) 13:04
- [[범주론]]에서 '''군 대상'''(群對象, {{llang|en|group object}})은 [[곱 (범주론)|곱]]을 갖는 범주에서 정의되는, [[군 (수학)|군]]의 역할을 하는 대상이다. [[모노이드 대상]]의 특수한 경우이다. <math>\mathcal C</math>가 [[끝 대상]] 및 유한 [[곱 (범주론)|곱]]을 갖는 [[범주 (수학)|범주]]라고 하자. (임의의 [[모노이드 범주]]에서 정의되는 모노이드 대상과 달리, 군 대상은 [[ ...4 KB (298 단어) - 2024년 5월 18일 (토) 12:17
- [[수학]]의 [[범주론]] 등에서 주어진 [[사상 (수학)|사상]] ''f'': ''X'' → ''Y''와 사상 ''g'': ''Z'' → ''Y''에 대하여 [[분류:범주론]] ...2 KB (51 단어) - 2024년 11월 8일 (금) 06:23
- [[범주론]]에서 '''밂'''({{llang|en|pushout|푸시아웃}})은 어떤 한 쌍의 사상에 의해 결정되는, [[쌍대곱]]의 일반화이다 밂은 [[당김 (범주론)|당김]]의 반대 개념이다. 즉, 범주 <math>\mathcal C</math>에서의 밂은 그 [[반대 범주]] <math>\math ...4 KB (357 단어) - 2024년 5월 5일 (일) 08:30
- [[범주론]]에서 '''구체적 범주'''(具體的範疇, {{llang|en|concrete category}})는 추가 구조를 갖는 집합들의 범주로 [[분류:범주론]] ...3 KB (170 단어) - 2024년 5월 18일 (토) 11:18
- ...주론]]에서 '''극한'''(極限, {{llang|en|limit}})은 수학의 여러 분야에서 사용되는 보편적 구성들(예로서 [[곱 (범주론)|곱]]이나 [[역극한]] 등)이 갖는 공통된 성질을 잡아내어 일반화시킨 개념이다. 그 쌍대 개념인 '''쌍대극한'''(雙對極限, {{ | [[곱 (범주론)|곱]] || [[쌍대곱]] ...7 KB (564 단어) - 2025년 3월 11일 (화) 13:21
- [[범주론]]에서 '''풍성한 범주'''(豐盛-範疇, {{llang|en|enriched category}})는 "사상 집합"이 [[집합]] 대신 준가법 범주는 항상 [[영 대상]]을 가지며, 유한 [[곱 (범주론)|곱]]과 유한 [[쌍대곱]]이 일치한다. ...7 KB (758 단어) - 2024년 6월 4일 (화) 10:58