Download PDF - A model for HAS. A topological interpretation of the theory of species of natural numbers