Compact object (category theory)