Câu hỏi được gắn thẻ «ct.category-theory»

Đặt là CCC . Hãy là một bifunctor sản phẩm trên . Vì Cat là CCC, chúng ta có thể cà ri :( × ) C ( × )CCC(×)(×)(\times)CCC(×)(×)(\times) curry(×):C→(C⇒C)curry(×):C→(C⇒C)curry (\times) : C \rightarrow(C \Rightarrow C) curry(×)A=λB.A×Bcurry(×)A=λB.A×Bcurry (\times) A = \lambda B. A \times B Functor loại có cấu trúc …

17 functional-programming  pl.programming-languages  ct.category-theory 

Tôi nhận thức được ít nhất hai cách tiếp cận lý thuyết khác nhau để hiểu cơ sở dữ liệu quan hệ: đại số / phép tính quan hệ của Codd và lý thuyết thể loại. Có bất kỳ mối quan hệ giữa hai phương pháp này? Có phải chúng …

17 reference-request  ct.category-theory  db.databases  relational-structures 

Disclaimer: Tôi biết rất ít về lý thuyết phức tạp. Tôi xin lỗi nhưng thực sự không có cách nào để hỏi câu hỏi này mà không ngắn gọn (khủng khiếp): Các hình thái trong "loại" máy Turing là gì? Điều này rõ ràng là chủ quan và phụ thuộc …

16 cc.complexity-theory  turing-machines  ct.category-theory 

Bối cảnh . Tôi là một sinh viên cử nhân quan tâm đến nghiên cứu liên quan đến lý thuyết thể loại, đơn nguyên và Haskell, và tôi muốn tìm một chủ đề cho luận án cử nhân của mình trong lĩnh vực đó. Tôi đã nhìn vào tờ giấy …

16 reference-request  pl.programming-languages  big-picture  ct.category-theory  monad 

Các nỗ lực xác minh trình biên dịch thường đi xuống để chứng minh trình biên dịch hoàn toàn trừu tượng: rằng nó bảo tồn và phản ánh các tương đương (theo ngữ cảnh). Thay vì cung cấp bằng chứng trừu tượng hóa đầy đủ, một số công việc xác …

15 pl.programming-languages  ct.category-theory  semantics  denotational-semantics  program-verification 

Một loại có biproducts khi các đối tượng cùng là cả các sản phẩm và coproducts. Có ai đã nghiên cứu lý thuyết bằng chứng của các loại với lưỡng sản? Có lẽ ví dụ nổi tiếng nhất là loại không gian vectơ, trong đó các cấu trúc sản phẩm …

15 reference-request  lo.logic  pl.programming-languages  type-theory  ct.category-theory 

Có một danh mục các bản vá trông giống như thế này: Các đối tượng là các chuỗi trong một số bảng chữ cái cơ sở Các hình thái là các tập lệnh chỉnh sửa ("diffs" hoặc "patch") giữa các chuỗi Tôi quan tâm đến những câu hỏi này: Có …

14 ct.category-theory  edit-distance 

Một ngôn ngữ chức năng có thể được xem như là một thể loại trong đó các đối tượng của nó là các loại và các hình thái chức năng giữa chúng. Làm thế nào để các lớp loại phù hợp trong mô hình này? Tôi giả sử chúng ta …

14 lo.logic  functional-programming  ct.category-theory  denotational-semantics  type-systems 

Vì tôi quan tâm đến các trình phân tích cú pháp (chủ yếu là các ngữ pháp biểu thức của trình phân tích cú pháp), tôi tự hỏi liệu có một số công việc đưa ra cách xử lý phân tích phân tích. Bất kỳ tài liệu tham khảo về …

13 reference-request  functional-programming  ct.category-theory  parsing 

Tôi không phải là nhà khoa học máy tính lý thuyết. Tôi là một nhà lý luận ổn định đồng luân sử dụng -categories. Tôi đã thấy các ứng dụng của lý thuyết thể loại và lý thuyết topos cho khoa học máy tính lý thuyết, và tôi tự hỏi …

12 lo.logic  soft-question  ct.category-theory 

Có những vấn đề NP hoàn chỉnh (hoặc thậm chí NP-hard, hoặc NP) có đặc tính tôpô tốt để nghiên cứu. Các vấn đề NP có công thức lý thuyết nút? Chúng tôi biết về kết quả # về đa thức Jones. Các vấn đề về đồ thị (nhúng?), Cụ …

12 ct.category-theory  np 

Tôi đã đọc bài báo của Freyd "Danh mục hoàn chỉnh đại số" trong Como90 nổi tiếng và tôi có hai câu hỏi về khái niệm về tính đại số của đại số mà ông đã định nghĩa trong bài báo đó. (Nếu bạn không quen với định nghĩa, thì …

12 reference-request  type-theory  ct.category-theory 

Với một endofunctor F:Set→SetF:Set→SetF : Set \rightarrow Set , chúng ta có thể xác định các chức năng quan sát như chức năng mà là đa hình cho bất kỳ FFF -coalgebra, đó là obsobsobs được định nghĩa cho bất kỳ FFF -coalgebra ⟨A,c:A→FA⟩⟨A,c:A→FA⟩\langle A, c : A \rightarrow FA\rangle …

12 ct.category-theory 

Nhìn vào các mô hình đa hình tham số, tôi tò mò tại sao các loại đồ thị phản xạ được sử dụng? Cụ thể, tại sao chúng không bao gồm thành phần quan hệ? Khi nhìn vào các mô hình, tất cả chúng dường như ủng hộ một quan …

11 ct.category-theory  parametricity  logical-relations 

Trong các định lý miễn phí! , Wadler nói rằng đặc tính của tham số có thể được thể hiện lại dưới dạng các biến đổi tự nhiên lỏng lẻo và đây sẽ là chủ đề của một bài báo tiếp theo. Anh ấy đang đề cập đến tờ giấy …

11 reference-request  ct.category-theory  parametricity