3
$\begingroup$

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.

  • 0
    Maybe 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

2 Answers 2