4
Chính xác thì sự khác biệt về ngữ nghĩa giữa bộ và loại là gì?
EDIT: Bây giờ tôi đã hỏi một câu hỏi tương tự về sự khác biệt giữa các danh mục và bộ. Mỗi lần tôi đọc về lý thuyết loại (mà phải thừa nhận là khá không chính thức), tôi thực sự không thể hiểu nó khác với lý thuyết tập …
33
type-theory
sets