solution set condition
The solution set condition appears as part of the hypothesis in Freyd’s General Adjoint Functor Theorem.
A functor satisfies the solution set condition if for every object of there exists a small set and an -indexed family of morphisms such that any morphism can be factored as
F(t) \circ f_i
for some and some .
This is a smallness condition in that the family is required to be indexed by a small set.
Revised on October 31, 2010 07:35:46
by Kevin V?