Compact object (mathematics)
= Compact object (mathematics)
{wiki}
A <compact object (mathematics)> is an object whose represented <Hom functor> preserves filtered <colimits>. This preservation condition differs from the extra right-adjoint property defining a <tiny object>.