(This is not my answer (as I didn't have anything to do with this page), hence the community-wiki tag.) <http://ncatlab.org/nlab/show/subcategory> In particular, you'll find some sympathy for the viewpoint that "groups" should not be a subcategory of "sets".