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

Tôi đã học được một vài lý thuyết thể loại. Nó chắc chắn là một cách khác nhau để nhìn vào mọi thứ. (Tóm tắt rất sơ lược cho những người chưa từng thấy nó: lý thuyết thể loại đưa ra các cách thể hiện tất cả các loại hành …

103 pl.programming-languages  lo.logic  ct.category-theory 

Tôi muốn hiểu Applicativevề lý thuyết thể loại. Các tài liệu cho Applicativebiết rằng đó là một functor đơn hình lỏng lẻo mạnh mẽ . Đầu tiên, trang Wikipedia về functor đơn hình nói rằng một functor đơn hình là lỏng lẻo hoặc mạnh mẽ . Vì vậy, dường như …

40 lo.logic  type-theory  functional-programming  ct.category-theory 

Tôi có một cơ sở rất mạnh về đại số, cụ thể là đại số giao hoán, đại số tương đồng, lý thuyết trường, lý thuyết thể loại, và tôi hiện đang học hình học đại số. Tôi là một chuyên gia toán học có thiên hướng chuyển sang khoa …

33 soft-question  algebra  advice-request  ct.category-theory 

Liệu có ý nghĩa khi xem xét một danh mục của tất cả các vấn đề hoàn thành NP, với các hình thái là giảm thời gian đa thời gian giữa các trường hợp khác nhau? Có ai đã từng xuất bản một bài báo về điều này, và nếu …

28 cc.complexity-theory  np-hardness  ct.category-theory 

Đây là một câu đố tôi không thể giải được. Tôi muốn biết nếu vấn đề này đã được biết, hoặc có một giải pháp dễ dàng. Có thể định nghĩa một song ánh 3N≅5N3N≅5N 3^\mathbb{N} \cong 5^\mathbb{N} sử dụng các tính chất của loại khép kín bicartesian. Andrej Bauer …

28 puzzles  ct.category-theory  topology 

Grothendieck đã qua đời . Ông đã có tác động lớn đến toán học thế kỷ 20 tiếp tục vào thế kỷ 21. Câu hỏi này được hỏi phần nào theo phong cách / tinh thần, ví dụ, về những đóng góp của Alan Turing cho Khoa học máy tính …

27 big-picture  ct.category-theory  ho.history-overview 

Có lẽ ứng dụng phổ biến nhất của các loại tuyến tính trong PL là sử dụng chúng để đưa ra các ngôn ngữ kiểm soát răng cưa (nghĩa là một giá trị tuyến tính có một con trỏ duy nhất cho nó, nhiều hay ít). Nhưng có một sự …

23 pl.programming-languages  ct.category-theory  imperative-programming  denotational-semantics  linear-logic 

Có một mô tả hữu ích về tương lai hoặc lời hứa về mặt lý thuyết thể loại? Cụ thể, kép kép phân loại của Tương lai có thể là gì?

22 pl.programming-languages  ct.category-theory  concurrency 

Trong một Descartes Closed Category ( CCC ), có tồn tại cái gọi là đối tượng theo cấp số nhân , viết . Khi một CCC được coi là một mô hình của đơn giản-gõ -calculus , một đối tượng hàm mũ như đặc trưng cho không gian chức năng …

21 type-theory  lambda-calculus  ct.category-theory 

Tôi nhận thấy rằng ngôn ngữ thường xuyên trên bảng chữ cái có thể được coi một cách tự nhiên như một poset, và thực sự là một mạng. Hơn nữa, nối với nhau bằng ngôn ngữ rỗng ε định nghĩa một cấu trúc monoidal nghiêm ngặt về thể loại …

21 fl.formal-languages  regular-language  ct.category-theory 

Tuyên bố miễn trừ trách nhiệm: Tôi không phải là nhà lý luận CS. Đến từ đại số trừu tượng, tôi đã quen với việc xử lý những thứ tương đương với một đẳng cấu - nhưng tôi gặp khó khăn khi dịch khái niệm này sang cấu trúc dữ …

20 ds.data-structures  algebra  ct.category-theory 

Nhiều định lý và "nghịch lý" - Đường chéo của Cantor, tính không ổn định của sự hận thù, sự không ổn định của độ phức tạp Kolmogorov, Sự không hoàn hảo của Gôdel, Sự bất toàn của Chaitin, Nghịch lý của Russell, v.v. - tất cả đều có cùng …

17 lo.logic  computability  ct.category-theory  kolmogorov-complexity 

Bắt đầu từ Curry-Howard-Lambek, đã có một bộ ba lý thuyết, logic và thể loại tốt đẹp. Tôi tò mò không biết ngữ nghĩa phân loại nào bạn nhận được khi bạn thêm phân nhóm (cưỡng chế) vào một lý thuyết loại - có vẻ như điều này chưa được …

17 lo.logic  type-theory  ct.category-theory 

Bất kỳ đơn nguyên cũng là một functor ứng dụng và bất kỳ functor ứng dụng là một functor. Ngoài ra, bất kỳ comonad là một functor. Có một khái niệm tương tự giữa comonad và functor, một cái gì đó giống như functor đồng ứng dụng, và các thuộc …

17 ct.category-theory  monad  applicative  comonad 

Tôi đã cố gắng đọc Ngọc trai của thiết kế thuật toán chức năng , và sau đó là Đại số lập trình , và có một sự tương ứng rõ ràng giữa các kiểu dữ liệu được xác định đệ quy (và đa thức), có cùng định nghĩa đệ …

17 cc.complexity-theory  co.combinatorics  functional-programming  ct.category-theory