We will uncover in this talk deep and surprising connections between the theories of matroids, boolean representable simplicial complexes, pairwise balanced designs and semigroups. This is joint work with Stuart Margolis (Bar-Ilan, Israel) and John Rhodes (Berkeley).