Первое что приходит в голову -- это какой-то симпозиум по категориям в La Jolla в 65м году, и его довольно толстые Proceedings. Там пол-книги это основания теории категорий, независимые от теории множеств. Не знаю, есть ли на сети. Никто, кажется, не доводил этого до полного альтернативного обоснования всего -- вонючего калкулуса в первую очередь, по традиции -- но что при необходимости сделают за 5 лет, я уверен.