Variants A species in k sorts is a functor . Here, the structures produced can have elements drawn from distinct sources. A functor to , the category of R-weighted sets for R a ring of power series, is a weighted species.
variants a species in k sorts is a functor  here the structures produced can have elements drawn from distinct sources a functor to  the category of r-weighted sets for r a ring of power series is a weighted species