函数复合

继续探索邻近知识点

• 范畴

  范畴具有对象、态射、满足结合律的复合及恒等态射。

• 函数

  函数为定义域内每个输入指定唯一输出；讨论表达式时，需要同时明确其定义域。

• 反函数

  双射存在反函数；限制定义域有时可使原本不可逆的函数可逆。

• 米田引理

  可表函子到另一函子的自然变换，与该函子在表示对象处的元素自然对应。

• 绝对值

  实数绝对值表示其到数轴原点的距离，分段表达取决于符号。