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.
Back