 Dominant functor

In category theory, a **dominant functor** is a specific type of functor that reflects a certain degree of "size" or "intensity" of structure between categories.