инициальный функтор

Мат. initial functor