Попробуй на verbit[]mccme.ru, вроде оно доходит.
В Москве не буду, еду в понедельник в Бразилию на все лето.

Что до высших категорий, я смотрел, да, но приложений у сей науки
доселе никто тоже не видел, хотя они в принципе естественно
вытекают из алгебро-геометрической практики, то есть теоретически
наверное могут иметь применение (и Симпсон о том иногда
рассказывает)