Она самая - Топосы. Категорный анализ логики (http://www.krelib.com/matematika/1755) - она написана в расчете на читателя который про категории не знает ничего, потому где-то полкниги потрачено на изложение базовые понятий ТК - в частности помогает видимо именно то, что у этого изложения есть цель.

Вообще - когда у книги есть цель - оно очень хорошо - коэновская "Теория множест и континуум-гипотеза" по той же причине очень внятное введение в логику и теорию множеств.