Definition. Species [0081]

A (combinatorial) species is a functor . Given a finite set of labels we let denote the set of -structures one can put on the set.