On quasi-equations in locally presentable categories II: A Logic
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 51 (2010) no. 1, article no. 1, 26 p. 
@article{CTGDC_2010__51_1_3_0,
     author = {Ad\'amek, Jir{\'\i} and Sousa, Lurdes},
     title = {On quasi-equations in locally presentable categories {II:} {A} {Logic}},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     eid = {1},
     pages = {3--28},
     publisher = {Andr\'ee CHARLES EHRESMANN},
     volume = {51},
     number = {1},
     year = {2010},
     mrnumber = {2650577},
     zbl = {1196.18003},
     language = {en},
     url = {http://www.numdam.org/item/CTGDC_2010__51_1_3_0/}
}
TY  - JOUR
AU  - Adámek, Jirí
AU  - Sousa, Lurdes
TI  - On quasi-equations in locally presentable categories II: A Logic
JO  - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY  - 2010
SP  - 3
EP  - 28
VL  - 51
IS  - 1
PB  - Andrée CHARLES EHRESMANN
UR  - http://www.numdam.org/item/CTGDC_2010__51_1_3_0/
LA  - en
ID  - CTGDC_2010__51_1_3_0
ER  - 
%0 Journal Article
%A Adámek, Jirí
%A Sousa, Lurdes
%T On quasi-equations in locally presentable categories II: A Logic
%J Cahiers de Topologie et Géométrie Différentielle Catégoriques
%D 2010
%P 3-28
%V 51
%N 1
%I Andrée CHARLES EHRESMANN
%U http://www.numdam.org/item/CTGDC_2010__51_1_3_0/
%G en
%F CTGDC_2010__51_1_3_0
Adámek, Jirí; Sousa, Lurdes. On quasi-equations in locally presentable categories II: A Logic. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 51 (2010) no. 1, article  no. 1, 26 p. http://www.numdam.org/item/CTGDC_2010__51_1_3_0/

[1] J. Adámek and V. Koubek, Are colimits of algebras simple to construct?, J. Algebra 66 (1980), 226-250. | MR | Zbl

[2] J. Adámek and M. Hébert, On quasi-equations in locally presentable categories, to appear in Cahiers Topol. Geom. Diff. | Numdam | MR | Zbl

[3] J. Adámek and J. Rosický: Locally presentable and accessible categories, Cambridge University Press, 1994. | MR

[4] J. Adámek, M. Sobral and L. Sousa, A logic of implications in algebra and coalgebra, to appear in Algebra Universalis. | MR | Zbl

[5] B. Banaschewski and H. Herrlich, Subcategories defined by implications, Houston J. Math. 2 (1976), 149-171. | MR | Zbl

[6] M. Barr, Exact categories. In: Barr, M., Grillet, P. A. & Van Osdol, D. H. (eds.), Exact Categories and Categories of Sheaves, Lectures in Math. 236, pp. 1-120, Springer-Verlag, 1971.

[7] G. Birkhoff, On the structure of abstract algebras, Proceedings of the Cambridge Philosophical Society 31 (1935), 433-454. | Zbl

[8] F. Borceux, Handbook of Categorical Algebra, Vols. 1, 2, Cambridge Univ. Press, 1994. | MR | Zbl

[9] P. Gabriel and F. Ulmer, Local Präsentierbare Kategorien, Lect. Notes in Math. 221, Springer-Verlag, Berlin 1971. | MR | Zbl

[10] P. A. Grillet, Regular categories. In: Barr, M., Grillet, P. A. & Van Osdol, D. H. (eds.), Exact Categories and Categories of Sheaves, Lectures in Math. 236, pp. 121-222. Springer-Verlag, 1971.

[11] W. Hatcher, Quasiprimitive categories, Math. Ann. 190 (1970), 93-96. | EuDML | MR | Zbl