Les concepts d’une catégorie localement présentable et d’une catégorie accessible se sont avérés utiles pour formuler des liens entre l’algèbre universelle, la théorie des modèles, la logique et l’informatique. L’objectif de ce livre est de fournir un exposé à la fois de la théorie et des applications de ces catégories à un niveau accessible aux étudiants des cycles supérieurs. Tout d’abord, les propriétés des objets l-présentables, localement les catégories l-présentables et les catégories l-accessibles, sont discutées en détail et l’équivalence des catégories accessibles et esquissées est prouvée. Les auteurs étudient ensuite les catégories d'algèbres et prouvent que les catégories essentiellement algébriques de Frey sont précisément les catégories localement présentables. Dans les derniers chapitres, ils traitent de certains sujets de la théorie des modèles et de certains aspects théoriques des ensembles. Pour les chercheurs en théorie des catégories, en algèbre, en informatique et en théorie des modèles, ce livre sera un achat nécessaire. Langue : Anglais