Completeness for comodels

Richard Garner – 22 July 2020

We discuss the notion of completeness of an algebraic theory for its set-based comodels. We explain some tools due to Pattinson and Schr\"oder for proving such completeness, and explain the relation of these tools to Johnstone's characterisation of the varieties which are also toposes.