포함 함수: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
새 문서: 수학에서, '''포함 함수'''(包含函數, {{llang|en|inclusion function}}) 또는 '''포함 사상'''(包含寫像, {{llang|en|inclusion map}})은 정의역이 공역... |
잔글 →포함 함자 |
||
12번째 줄:
== 관련 개념 ==
=== 포함 함자 ===
[[범주 (수학)|범주]] <math>\mathcal C</math>와 그 [[부분 범주]] <math>\mathcal D</math>에 대하여, <math>\mathcal D</math>에서 <math>\mathcal
* <math>\iota_{\mathcal D,\mathcal C}\colon\mathcal D\hookrightarrow\mathcal C</math>
* 임의의 대상 <math>X\in\operatorname{Ob}(\mathcal D)</math>에 대하여, <math>\iota_{\mathcal D,\mathcal C}(X)=X</math>
| |||