Let
be a class of topological spaces that is closed
under homeomorphism, and let
be a topological space.
If
and for every
such that
,
is a retract of
, then
is an absolute retract for the class
.
These notions can be generalized to category theory, and because there are category-theoretic versions, there are also other more specific versions, as in universal algebra and modern algebra.