Boken "Locally Presentable and Accessible Categories" presenterer begrepene for lokalt presentable kategorier og tilgjengelige kategorier, som har vist seg å være nyttige i sammenhenger mellom universell algebra, model teori, logikk og datavitenskap. Målet med boken er å gi en klar og grundig fremstilling av både teorien og bruken av disse kategoriene, tilpasset på et nivå som er tilgjengelig for graduate-studenter. Forfatterne diskuterer først egenskapene til l-presentable objekter, lokalt l-presentable kategorier og l-tilgjengelige kategorier i detalj, samt beviser ekvivalensen mellom tilgjengelige og skisserbare kategorier. Det blir deretter gjort en grundig studie av kategorier av algebraer, og det bevises at Freyds essensielt algebraiske kategorier nøyaktig er de lokalt presentable kategoriene. I bokens avsluttende kapitler blir det behandlet emner relatert til model teori og ulike sett-teoretiske aspekter. For forskere innen kategoriteori, algebra, datavitenskap og model teori vil denne boken være en uunnværlig ressurs.
