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



2
Các ứng dụng trong thế giới thực của tiền chất zygohistomorphic
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 …


3
Có phải tất cả các container có kích thước cố định functor mạnh, và / hoặc ngược lại?
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 …



Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.