Given a Field , the Category has natural numbers as objects morphisms are matrices with entries from and composition is matrix multiplication