Generalised Species of Structures: Cartesian Closed and Differential Structure (Working Draft)


We generalise Joyal’s notion of species of structures and develop their combinatorial calculus. In particular, we provide operations for their composition, addition, multiplication, pairing and projection, abstraction and evaluation, and differentiation; developing both the cartesian closed and linear structures of species.