Phạm trù mô hình và tính duy nhất của phạm trù ổn định

Tóm tắt

Trong bài báo này, chúng tôi giới thiệu về phạm trù mô hình và chứng minh tính duy nhất của cấu trúc phạm trù mô hình sai khác phép tương đương Quillen.

Cho C là một phạm trù mô hình ổn định. Nếu phạm trù đồng luân của C và phạm trù đồng luân 2 – địa phương của phổ là tương đương nhau với ý nghĩa như phạm trù tam giác phân thì tồn tại một tương đương Quillen giữa C và phạm trù mô hình 2 – địa phương của phổ.