这篇文章是关于仿函数在产品类别.对于介于双类别看见2-函子和伪函子.

目录

定义

由分叉器（以下简称二元函子，即$2$-ary）或二元函子只是一个函子谁的领域是一个产品类别:

对于$C_1$,$C_2$和$D类$ 类别，函子

也称为分叉器从$C_1$和$C_2$到$D类$.

示例

著名的双歧杆菌是

• 这个hom函子

  $$Hom（-，-）：C^{op}\times C\到Set$$

  在任何局部小类别 $C类$，或者如果$C类$是一个封闭类别，的内部hom函子

  $$[-，-]：C^{op}\次C\到C\,.$$

• 在每个单体范畴 $（C，\注释）$这个张量积函子

  $$\注释：C\次C\到C$$

形式的分叉$D^{op}\times C\到集合$称为亵渎者.

相关概念

• 超自然转化

• 二进制函数,双线性映射,多线性映射

• 二元态射

• 分叉器,二元附加词,奎伦分叉器

  结束/共同（coend）

• 多分裂体

工具书类

在一般情况下丰富范畴理论（因此富足函子在丰富的产品类别):

• 塞缪尔·艾伦伯格,G.马克斯·凯利，第III.4节：关闭的类别，单位：分类代数会议记录-La Jolla 1965，施普林格（1966）421-562[数字对象标识代码：10.1007/978-3642-99902-4]