On Functoriality; on the Correspondence; and on Their Relation, Part 1