A correspondence functor is a functor from the category of finite sets and correspondences to the category of k-modules, where k is a commutative ring. By means of a suitably defined duality, new correspondence functors are constructed, having remarkable properties. In particular, their evaluation at any finite set is always a free k-module and an explicit formula is obtained for its rank. The results use some subtle new ingredients from the theory of finite lattices. (c) 2022 The Authors. Published by Elsevier Inc. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/).