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