1. (математика, теорія категорій) Функтор, який відображає добуток категорій у деяку категорію, тобто функтор від кількох аргументів; узагальнення поняття біфунктора.
2. (програмування) Об’єкт або конструкція, що може виконувати кілька різних функцій або операцій залежно від контексту чи переданих аргументів.