Definition. Species on FinSet [00DT] A species is a function , where is the groupoid of finite sets and bijections.