Cartesian closed varieties (part 2)

Richard Garner – 14 October 2020

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.