Có phải tất cả các đơn nguyên đều là Đơn nguyên không?
Có phải tất cả các đơn nguyên đều là Đơn nguyên không?

Video: Có phải tất cả các đơn nguyên đều là Đơn nguyên không?

Video: Có phải tất cả các đơn nguyên đều là Đơn nguyên không?
Video: Cao Ốc 20 | B RAY x DatG (ft MASEW x K-ICM) | MV OFFICIAL 2024, Có thể
Anonim

Một câu trả lời hay, có lẽ ngắn gọn nhất từng có là: A đơn nguyên chỉ là một monoid trong danh mục endofunctors. Hài lòng monoid tiên đề (i. & ii.), a đơn nguyên có thể được xem như một monoid là một endofunctor cùng với hai biến đổi tự nhiên.

Ở đây, Monad Endofunctor là gì?

Trong lý thuyết phạm trù, một nhánh của toán học, một đơn nguyên (cũng là bộ ba, bộ ba, xây dựng tiêu chuẩn và xây dựng cơ bản) là một endofunctor (một bộ chức năng ánh xạ một danh mục với chính nó), cùng với hai phép biến đổi tự nhiên cần thiết để đáp ứng các điều kiện gắn kết nhất định.

Sau đó, câu hỏi đặt ra là Bifunctor là gì? MỘT bifunctor (còn được gọi là hàm nhị phân) là một hàm có tên miền là một danh mục sản phẩm. Nó có thể được xem như là một phép tính trong hai lập luận. Hom functor là một ví dụ tự nhiên; nó trái ngược trong một lập luận, đồng biến trong một lập luận khác. Multifunctor là một tổng quát của khái niệm functor thành n biến.

Sau đó, Đơn nguyên trong lập trình là gì?

Từ wikipedia: Trong chức năng lập trình , Một đơn nguyên là một loại kiểu dữ liệu trừu tượng được sử dụng để biểu diễn các phép tính (thay vì dữ liệu trong mô hình miền). Đơn nguyên Cho phép người lập trình chuỗi các hành động lại với nhau để xây dựng một đường dẫn, trong đó mỗi hành động được trang trí bằng các quy tắc xử lý bổ sung do đơn nguyên.

Monad Haskell là gì?

Trong Haskell Một đơn nguyên được biểu diễn dưới dạng một hàm tạo kiểu (gọi nó là m), một hàm xây dựng các giá trị của kiểu đó (a -> ma) và một hàm kết hợp các giá trị của kiểu đó với các phép tính tạo ra các giá trị của kiểu đó để tạo ra một phép tính mới cho các giá trị của kiểu đó (ma -> (a -> mb) -> mb).

Đề xuất: