目录

定义

A类函子来自类别对其本身称为内函子.

给定任何类别$C类$，的函子范畴

被称为内函子范畴属于$C类$.的对象$结束（C）$是内函子$F： C\至C$，而形态是自然转化在这些内函子之间。

属性

单体结构

内函子范畴是严格的 单体范畴，由于我们能够构造内函子：

这个单体范畴的单位对象是$C类$自身：

独异点

A类幺半群在这个内函子范畴中称为单子在$C类$.

相关概念

• 内函子上的代数

• 内函子上的余代数

• 指向内函子