雙函手
bifunctor。binary functor。二項函手
雙函手
$ F:{\bf C}\times{\bf D}\to{\bf E}
とは
積 (圈)
からの
函手
を言ふ
※
積 (圈)
は圈の圈
$ \bf Cat
での
積 (圈)