De concepten van een lokaal representatieve categorie en een toegankelijke categorie zijn nuttig gebleken bij het formuleren van verbanden tussen universele algebra-modeltheorielogica en informatica. Het doel van dit boek is om een uiteenzetting te geven van zowel de theorie als de toepassingen van deze categorieën op een niveau dat toegankelijk is voor afgestudeerde studenten. Eerst worden de eigenschappen van l-presentabele objecten lokaal l-toonbare categorieën en l-toegankelijke categorieën in detail besproken en wordt de gelijkwaardigheid van toegankelijke en schetsbare categorieën bewezen. De auteurs gaan verder met het bestuderen van categorieën van algebra's en bewijzen dat Freyd's in wezen algebraïsche categorieën precies de lokaal presentabele categorieën zijn. In de laatste hoofdstukken behandelen ze enkele onderwerpen in de modeltheorie en enkele vaste theoretische aspecten. Voor onderzoekers in de categorie theorie algebra informatica en modeltheorie zal dit boek een noodzakelijke aankoop zijn. Taal: Engels