Category: Error correction and logical qubits