内射
injective
一个在函数上很basic的概念
用来描述不会有两个不同的物体的函数值相等
如果有了内射 把值域限定在f(D)上就能得到
内射injective跟外射surjective的双射bijective的函数
在基本的数学导论，会用双射探讨两个集合物件的多寡。
用这样的观点，会得到正整数的大小跟奇数一样多，
[0,1]区间跟实数的里面的东西一样多。
线性函数如果是内射，只需要检验它的核是不是{0}就好
在基础代数里面 函数变成同态homomorphism，就算不是内射也没关系
我们有同构定理 G/ker==im 跟变成双射是类似的概念
建立在这上面，我们可以有群对应定理
或者群钻石定理NH/N==H/H交集N ,条件不赘述
如果探究一个复炼complex chain的ker/im形成同调群，量度它的正合性
这称为同调代数。其中的阿贝尔范畴中，
会探讨 内射对象
这么有创意的一个数学思维，究竟内射的起源可不可考？
有没有内射的八卦？