Tôi đã đọc một trong những bài báo phổ biến về lý thuyết loại hình khối, nhưng không có gì lạ khi tôi chỉ có thể nhìn thấy các công thức và sơ đồ mà không thể nhận ra chúng.
Vì vậy, đây là những gì tôi muốn. Tôi muốn một lời giải thích đủ sâu sắc về thành phần nào, điền Kan và dán phải làm gì với lý thuyết loại đồng luân. Tôi không hy vọng có thể có ELI (chèn tuổi) cho nó mà thay vào đó định nghĩa từ giả trong tiêu đề là ai đó có một số hiểu biết cơ bản về HoTT và lý thuyết danh mục (có lẽ, nhưng không nhất thiết là tùy chọn).
6
Bài nói chuyện của Dan Licata về lý thuyết loại vô hạn hình khối có lẽ là một giới thiệu trực quan tốt với một lượng lý thuyết loại hợp lý được đưa ra để nói chuyện. (Licata chắc chắn nằm trong trại lý thuyết kiểu của cộng đồng HoTT.)
—
Derek Elkins rời SE
Tôi đa xem tât cả mọi thư. Nó khá dễ dàng cho đến khi phần điền Kan ... Có vẻ như chiến lược trong bài báo (xác định Kan điền theo thành phần) đơn giản hơn nhiều, hay là vậy? Và dường như toàn bộ kỹ thuật dán đã không được phát triển tại thời điểm video được ghi lại. Có lẽ tôi có thể hiểu bài báo sau khi xem nó.
—
ngày