Categories of comodels

Richard Garner – 12 August 2020

Any algebraic theory gives rise to a category of set-based comodels which is comonadic over Set. We prove that the categories of comodels so arising are precisely the presheaf categories. We also explain that the categories of topological comodels of algebraic theories are precisely the categories of diagrams on prodiscrete source-etale topological categories.