1. Essentially equational categories;Adámek;Cah. Topol. Géom. Différ. Catég.,1988
2. Locally presentable and accessible categories;Adámek;Lond. Math. Soc.,1994
3. Séminaire de géométrie algébrique du Bois Marie 1963–1964, Théorie des topos et cohomologie étale des schémas (SGA4);Artin,1972
4. Exact Categories and Categories of Sheaves;Barr,1971
5. Toposes, Triples and Theories;Barr,1985