Strictly Positive Functor

In category theory, strictly positive types correspond to initial algebras for strictly positive functors. A functor $F$ is strictly positive if it can be built from constant functors, the identity functor, products, and coproducts (and fixed points thereof).