A species $F$ is defined as an endofunctor of the category of finite sets. What if our combinatorial structure is not defined for sets of arbitrary size. More precisely, can we define a species from a subcategory of finite sets? For example, the species of Sudoko puzzles.
A question about the definition of species.
3
$\begingroup$
combinatorics
category-theory
combinatorial-species
-
0Maybe I am comfused about the defenition of an endofunctor. Is it F:G-->G necessarily defined for all of the objects in G? – 2012-07-18