In the previous talk, I gave a syntactic characterisation of cartesian closed varieties simplifying one given by Peter Johnstone in 1990.
In this talk, I give a semantic characterisation of the *finitary* cartesian closed varieties, by showing that the category of such is equivalent to the category of Boolean restriction monoids. The general, infinitary case will be left for a future talk.