  The theory of {\Gamma}-species is developed to allow species-theoretic study
of quotient structures in a categorically rigorous fashion. This new approach
is then applied to two graph-enumeration problems which were previously
unsolved in the unlabeled case-bipartite blocks and general k-trees.
