The algebra of Boolean matrices, correspondence functors, and simplicity (Q2210589)

Summary: We determine the dimension of every simple module for the algebra of the monoid of all relations on a finite set (i.e. Boolean matrices). This is in fact the same question as the determination of the dimension of every evaluation of a simple correspondence functor. The method uses the theory of such functors developed in our works [J. Algebra 495, 150--198 (2018; Zbl 1427.18001); ibid. 518, 453--518 (2019; Zbl 1467.06006)], as well as some new ingredients in the theory of finite lattices.