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

Ai đầu tiên nói như sau? Một đơn nguyên chỉ là một monoid trong thể loại endofunctor, vấn đề là gì? Và trên một lưu ý ít quan trọng hơn, điều này có đúng không và nếu vậy bạn có thể đưa ra lời giải thích (hy vọng một điều …

723 haskell  monads  category-theory  monoids 

Tôi đã nghe thuật ngữ "than đá" nhiều lần trong các chương trình chức năng và vòng tròn PLT, đặc biệt khi cuộc thảo luận là về các vật thể, comonad, ống kính, v.v. Googling thuật ngữ này cung cấp cho các trang mô tả toán học của các cấu …

339 scala  haskell  functional-programming  category-theory  recursion-schemes 

Vâng, những cái này : {-#LANGUAGE TypeOperators, RankNTypes #-} import Control.Morphism.Zygo import Control.Morphism.Prepro import Control.Morphism.Histo import Control.Functor.Algebra import Control.Functor.Extras import Control.Functor.Fix import Control.Comonad.Cofree zygohistomorphic_prepromorphism :: Functor f => Algebra f b -> GAlgebra f (ZygoT (Cofree f) b) a -> (f :~> f) -> FixF f -> a zygohistomorphic_prepromorphism f …

156 haskell  functional-programming  category-theory 

Vì trạng thái đơn nguyên có thể được nhân tố thành Sản phẩm (Trái - Functor) và Đầu đọc (Phải - Đại diện). Có cách nào để nhân tố Monad tiếp tục không? Dưới đây mã là nỗ lực của tôi, không gõ kiểm tra -- To form a -> …

11 haskell  monads  continuations  category-theory  comonad 

Kiểu chữ Applicativeđại diện cho functor đơn hình lỏng lẻo bảo tồn cấu trúc đơn hình cartesian trên danh mục các hàm được gõ. Nói cách khác, được đưa ra các đẳng cấu chính tắc chứng kiến (,)tạo thành một cấu trúc đơn hình: -- Implementations left to the motivated …

9 haskell  functor  applicative  category-theory 

Được biết, các phép biến đổi tự nhiên với chữ ký loại a -> aphải là các hàm định danh. Điều này theo sau bổ đề Yoneda nhưng cũng có thể được bắt nguồn trực tiếp. Câu hỏi này yêu cầu cùng một tài sản nhưng cho hình thái đơn …

8 haskell  monads  category-theory 

Các loại của bộ là cả monoidal cartoidian và cocartesian monoidal. Các loại của đẳng cấu chính tắc chứng kiến ​​hai cấu trúc đơn hình này được liệt kê dưới đây: type x + y = Either x y type x × y = (x, y) data Iso a b …

8 haskell  filter  monads  functor  category-theory 

Đây là bài viết SO tôi sẽ đề cập đến . Ngoài ra, tôi sẽ sử dụng các đoạn giống như OP trong câu hỏi đó để không tách các tài liệu . Người ta biết rằng một ArrowApplythể hiện mang lại một Monad và ngược lại: newtype ArrowMonad a …

8 haskell  monads  applicative  category-theory  arrows