This is joint work with Serge Bouc. A correspondence functor assigns to every finite set a vector space and to any correspondence between two finite sets a linear map between the associated vector spaces. In this talk, we shall explain the classification of all simple correspondence functors. Then we shall address the question of finding the dimension of every evaluation of a simple correspondence functor. An important ingredient is the construction of a correspondence functor associated to any given finite lattice.