Coupled-cluster theory consists of bivariational methods for eigenvalue estimation in many-body quantum physics. I will describe some basic ingredients of the theory, including the cluster algebra, in an abstract perspective set in the second quantization formalism. This is joint work in progress with S. Bergan, H. Fredheim, S. Kvaal and S. Neshveyev at the University of Oslo.