The Azimuth Project
Species

Idea

Combinatorial species give a categorical framework for reasoning about combinatorial structures.

References