Tiny object
= Tiny object
An object $A$ of a <Cartesian closed category> is tiny when exponentiation $(-)^A$ itself has a right adjoint.
The extra adjunction defining a tiny object should not be confused with the filtered-colimit condition for a <compact object (mathematics)>.