Другими словами, даже если данная модельная категория не имеет отношения к пространствам или симплициальным множествам (в частности не имеет оснащения над ними), все равно можно говорить о гомотопическом типе пространства отображений между объектами (серия работ Двайера и Кана)

Не подскажете ссылку на соответствующую конструкцию, в современном изложении (или оригинальном) ? Эта конструкция приводится у Хови ?