A linear operator is a category and a monoid