« Root

Reference. combinatorics groupoid cardinality and species [00B5]

https://youtu.be/yLtgs7Fz8aw

Backlinks

References on Species [00B9]

Une theorie combinatoire des series formelles
Introduction to the Theory of Species of Structures
combinatorics groupoid cardinality and species
Species and their generating functions
A course on combinatorial species
species in agda-unimath