释
包含函子
bāo hán hán zi · ㄅㄠ ㄏㄢˊ ㄏㄢˊ ㄗ˙
修撰于 2026-06-30 16:53:41
音义
| 拼音 | bāo hán hán zi |
|---|---|
| 字母 | bao han han zi |
| 首字母 | bhhz |
| 注音 | ㄅㄠ ㄏㄢˊ ㄏㄢˊ ㄗ˙ |
| 注音符号 | ㄅㄠ ㄏㄢ ㄏㄢ ㄗ |
广训
包含函子(inclusion functor)包含映射的推广.它一种嵌人函子.若若‘为范畴留的子范畴，可用显见方式定义一个函子I:}(使I(A)=A,I(f)=f)，则称这个函子I为包含函子.
bāo hán hán zi · ㄅㄠ ㄏㄢˊ ㄏㄢˊ ㄗ˙
修撰于 2026-06-30 16:53:41
| 拼音 | bāo hán hán zi |
|---|---|
| 字母 | bao han han zi |
| 首字母 | bhhz |
| 注音 | ㄅㄠ ㄏㄢˊ ㄏㄢˊ ㄗ˙ |
| 注音符号 | ㄅㄠ ㄏㄢ ㄏㄢ ㄗ |
包含函子(inclusion functor)包含映射的推广.它一种嵌人函子.若若‘为范畴留的子范畴，可用显见方式定义一个函子I:}(使I(A)=A,I(f)=f)，则称这个函子I为包含函子.