The monoid of n×nn \times n matrices has an obvious nn-dimensional representation, and you can get all its representations from this one by operations that you can apply to any representation. So its category of representations is generated by this one obvious representation, in some sense. And it’s almost freely generated: there’s just one special relation. What’s that, you ask? It’s a relation saying the obvious representation is nn-dimensional!
