Reference wanted : Joyal, combinatorial functors