A translation into English and commentary on André Joyal's classic paper, Une théorie combinatoire des séries formelles (A combinatorial theory of formal series), which introduced the notion of combinatorial species.
This is a work in progress. The latest version of the PDF (automatically updated) can be found here.
To build the document yourself:
- If you don't already have it installed, install the
stacktool by following the instructions at. https://docs.haskellstack.org/en/stable/README/ . - Run
build.sh.
Step 2 will take quite a while (probably tens of minutes) the first time, but subsequent runs should be fast.