  We show that semi-infinite cohomology of a finite dimensional graded algebra
(satisfying some additional requirements) are a particular case of a general
categorical construction. The motivating example is provided by small quantum
groups at a root of unity.
