Кстати, во второй лекции Орлова с торрента, выложенного @matimatik, имеется дырка. Так что я, похоже, так никогда и не узнаю про уравнители и коуравнители категорий...