NOTE: This site has just upgraded to Forester 5.x and is still having some style and functionality issues, we will fix them ASAP.

definition. set-valued [kostecki2011introduction, 4.4] [tt-001L]

A functor \(\mathscr {F} : {\cal C} \to \mathbf {Set}\) is called set-valued.