The category of finite sets and isomorphisms versus the category with objects 1,2,...,n,... and the symmetric groups \Sigma_n as morphisms The category of `modules' over one is equivalent to The category of `modules' over the other Is this somewhere in the literature or just folk lore? Maybe for one n at a time?? thanks jim