Келли - это Basic concepts of enriched category theory? -- да, дополнительное преимущество, что ее перенабрали в ТеХе и выложили в свободный доступ. Книжка слегка через чур формальная, но полезная.

Эта работа Квиллена - то, что я назвал резюме -- ну не знаю, вроде бы там все доказано, но я очень давно читал. Заметки из MIT не встречал. Нужно спросить старшее поколение.