Tại sao logic nội tại của một topos lại là trực giác?

Bộ phân loại đối tượng con không nhất thiết phải thỏa mãn luật loại trừ cái thứ ba, vì lưới các giá trị chân lý trong một topos tổng quát là một đại số Heyting chứ không phải đại số Boolean. Kết quả là logic được xác nhận nội tại là trực giác, với logic cổ điển chỉ được khôi phục trong các topos đặc biệt.

Một topos tổng quát hóa phạm trù các tập hợp như thế nào?

Phạm trù các tập hợp là topos đơn giản nhất, và một topos tổng quát vẫn giữ các đặc điểm cấu trúc chính của nó, các giới hạn hữu hạn, các không gian hàm, và một bộ phân loại các tập con, đồng thời cho phép biến đổi trên một không gian hoặc một lý thuyết logic. Điều này cho phép thực hiện toán học giống tập hợp trong các ngữ cảnh như bó, nơi chân lý mang tính cục bộ.

Lý thuyết Topos

Một topos là một phạm trù hoạt động giống như phạm trù các tập hợp và hỗ trợ một logic nội tại, tổng quát hóa cả lý thuyết tập hợp và lý thuyết bó (sheaf), đồng thời cung cấp một nền tảng cho các cơ sở phạm trù của toán học.

Tìm chủ đề với PaperMindSắp ra mắtFind papers & topics

Tools & resources

Tải xuống bản trình chiếu

Learn & explore

VideoSắp ra mắt

Definition

Một topos cơ bản là một phạm trù có các giới hạn hữu hạn, các đối tượng hàm mũ, và một bộ phân loại đối tượng con; nó có đủ cấu trúc để diễn giải một logic trực giác bậc cao, do đó nó hoạt động như một vũ trụ tổng quát hóa của các tập hợp với toán học nội tại của riêng nó.

Scope

Chủ đề này bao gồm các topos cơ bản được định nghĩa bởi các giới hạn hữu hạn, các hàm mũ (exponentials) và một bộ phân loại đối tượng con (subobject classifier), các topos Grothendieck như các phạm trù của bó trên một site, logic trực giác bậc cao nội tại của một topos, và vai trò của các topos trong việc cung cấp các cơ sở cấu trúc và thay thế, cũng như trong việc liên kết hình học với logic.

Core questions

Cấu trúc phạm trù nào làm cho một phạm trù hoạt động giống như phạm trù các tập hợp?
Một topos mang một logic nội tại như thế nào, và tại sao nó lại là logic trực giác?
Các topos Grothendieck tổng quát hóa các bó và mã hóa hình học như thế nào?
Theo nghĩa nào thì một topos có thể đóng vai trò là nền tảng cho toán học?

Key theories

Bộ phân loại đối tượng con và logic nội tại: Một bộ phân loại đối tượng con biểu diễn các đối tượng con bằng các ánh xạ vào một đối tượng giá trị chân lý, mang lại cho mọi topos một logic bậc cao nội tại mà nói chung là trực giác chứ không phải cổ điển.
Các topos Grothendieck: Các phạm trù của bó trên một site tạo thành các topos Grothendieck, tổng quát hóa các không gian tô pô và cung cấp khuôn khổ phạm trù mà Grothendieck đã phát triển cho đối đồng điều trong hình học đại số.
Topos như là nền tảng: Một topos có điểm tốt (well-pointed) thỏa mãn nguyên lý chọn (choice principle) mô hình hóa một lý thuyết tập hợp cấu trúc, do đó lý thuyết topos cung cấp một giải pháp thay thế dựa trên phạm trù cho các nền tảng toán học dựa trên quan hệ thành viên.

Clinical relevance

Lý thuyết topos thống nhất hình học và logic: các topos Grothendieck làm nền tảng cho hình học đại số và đối đồng điều hiện đại, logic trực giác nội tại của các topos mô hình hóa toán học kiến thiết và cung cấp ngữ nghĩa cho lý thuyết kiểu (type theory), và các topos cơ bản đưa ra một cách giải thích cấu trúc về các nền tảng của toán học.

History

Grothendieck và các cộng sự của ông đã giới thiệu các topos như các phạm trù của bó vào những năm 1960 để hỗ trợ đối đồng điều của các lược đồ (schemes). Lawvere và Tierney sau đó đã đưa ra hệ tiên đề phạm trù thuần túy, cơ bản vào đầu những năm 1970, tiết lộ logic nội tại của một topos và thiết lập lý thuyết topos như một cầu nối giữa hình học, logic và các nền tảng của toán học.

Key figures

Alexander Grothendieck
F. William Lawvere
Myles Tierney
Peter Johnstone

Seminal works

maclanemoerdijk1994
johnstone2002
awodey2010

Frequently asked questions

Tại sao logic nội tại của một topos lại là trực giác?: Bộ phân loại đối tượng con không nhất thiết phải thỏa mãn luật loại trừ cái thứ ba, vì lưới các giá trị chân lý trong một topos tổng quát là một đại số Heyting chứ không phải đại số Boolean. Kết quả là logic được xác nhận nội tại là trực giác, với logic cổ điển chỉ được khôi phục trong các topos đặc biệt.
Một topos tổng quát hóa phạm trù các tập hợp như thế nào?: Phạm trù các tập hợp là topos đơn giản nhất, và một topos tổng quát vẫn giữ các đặc điểm cấu trúc chính của nó, các giới hạn hữu hạn, các không gian hàm, và một bộ phân loại các tập con, đồng thời cho phép biến đổi trên một không gian hoặc một lý thuyết logic. Điều này cho phép thực hiện toán học giống tập hợp trong các ngữ cảnh như bó, nơi chân lý mang tính cục bộ.