On an essentially algebraic theory for locally presentable categories (Q2502182)

The paper presents the essentials of the author's dissertation. For \(\lambda\) a regular cardinal, the so-called locally \(\lambda\)-presentable categories are considered, i.e., cocomplete categories with a strong generator of \(\lambda\)-presentable objects. In case \(\lambda=\aleph_0\), these amount to locally finitely presentable categories. An essentially algebraic description of a category \({\mathcal C}\) is an equivalence of categories \({\mathcal C}\cong {\mathcal M}od(\Gamma)\), with \(\Gamma\) an essentially algebraic theory, where \({\mathcal M}od(\Gamma)\) denotes the category of all models of \(\Gamma\) and homomorphisms between them. For each given strong generator and any locally finitely presentable category \({\mathcal C}\), an essentially algebraic finitary theory \(\Gamma_{\mathcal C}\) is constructed such that there is an equivalence \({\mathcal C}\cong {\mathcal M}od(\Gamma_{\mathcal C})\). For regular generators, a generalization to the non-finitary case is also done.