Categorical formulation of finite-dimensional C*-algebras - Vicary, J (Electronic Notes in Theoretical Computer Science, 2011)