Begreberne en lokalt præsentabel kategori og en tilgængelig kategori har vist sig at være nyttige til at formulere forbindelser mellem universel algebra, modelteori, logik og datalogi. Formålet med denne bog er at give en redegørelse for både teori og anvendelser af disse kategorier på et niveau, der er tilgængeligt for kandidatstuderende. For det første diskuteres egenskaberne af l-præsentable objekter, lokalt l-præsentable kategorier og l-tilgængelige kategorier detaljeret, og ækvivalensen af tilgængelige og skitserbare kategorier bevises. Forfatterne fortsætter med at studere kategorier af algebraer og bevise, at Freyds i det væsentlige algebraiske kategorier netop er de lokalt præsentable kategorier. I de sidste kapitler behandler de nogle emner i modelteori og nogle faste teoretiske aspekter. For forskere i kategoriteori, algebra, datalogi og modelteori vil denne bog være et nødvendigt køb. Sprog: Engelsk