Categories and TQC