Noun
group functor (plural group functors) (category theory, algebraic geometry) A group object that is an object in a category of functors; a functor with certain properties that generalise the concept of group.