In
category theory
Category theory is a general theory of mathematical structures and their relations that was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Nowadays, cate ...
, an abstract branch of mathematics, a dominant functor is a
functor ''F'' : ''C'' → ''D'' in which every object of ''D'' is a
retract of an object of the form ''F''(''x'') for some object ''X'' of ''C''.
[.]
References
Functors
{{categorytheory-stub