A realizability interpretation of the theory of species