An algebraic description of locally multipresentable categories
暂无分享,去创建一个
Locally finitely presentable categories are known to be precisely the categories of models of essentially algebraic categories. Here we show an analogous description of locally finitely multipresentable categories.
[1] Jirí Adámek,et al. Finitary sketches and finitely accessible categories , 1995, Mathematical Structures in Computer Science.
[2] Michael Makkai,et al. Accessible categories: The foundations of categorical model theory, , 2007 .
[3] Johann A. Makowsky,et al. Finitary Sketches , 1997, J. Symb. Log..
[4] Yves Diers. Catégories Localement Multiprésentables , 1980 .