We describe a general setting for the definition of semi-infinite cohomology of finite-dimensional graded algebras, and provide an interpretation of such cohomology in terms of derived categories. We apply this interpretation to compute semi-infinite cohomology of some modules over the small quantum group at a root of unity, generalizing an earlier result of Arkhipov (posed as a conjecture by B. Feigin).