главный бифунктор

Мат. primary bifunctor