Yōga Sūtras
Yōga Sūtra 1.10
अभावप्रत्ययालम्बना वृत्तिर्निद्रा।
Absence of interest and lethargy is sleep (nidra).
Sleep is supported by absence of cause. When cause like interest and desire are absent (may be due to lethargy or tiredness), it results in sleep.