Nghĩa của từ monads bằng Tiếng Việt

danh từ
(triết học) đơn tử

Đặt câu có từ "monads"

Dưới đây là những mẫu câu có chứa từ "monads", trong bộ từ điển Từ điển Y Khoa Anh - Việt. Chúng ta có thể tham khảo những mẫu câu này để đặt câu trong tình huống cần đặt câu với từ monads, hoặc tham khảo ngữ cảnh sử dụng từ monads trong bộ từ điển Từ điển Y Khoa Anh - Việt

1. One can turn monads into Adjunctions and Adjunctions into monads, but one doesn't always return where one started

2. Some videos introducting Adjunctions and their relationship to monads.

3. Eugenio Moggi and Philip Wadler introduced the use of monads for structuring programs written in functional programming languages.

Philip Wadler đề xuất dùng các monad cho việc cấu trúc các chương trình viết bằng các ngôn ngữ lập trình hàm.

4. We don’t see a lot of monads derived from Adjunctions in Haskell, because an adjunction usually involves two categories

5. Depending on the kind of Computation expression, they can be thought of as a way to express monads, monoids, monad transformers, and applicative functors.

6. For more on monads and Adjunctions, try old episodes of The Tale of n-Categories(which will soon be made into a movie starring Emma Watson and Orlando Bloom).

7. Pretalk Adjunctions and monads Weighted limits Algebras and descent data Monadicity and descent Homotopy coherent Adjunctions A homotopy coherent adjunction in an (1;2)-category K is a simplicial functor Adj !K

8. Prior to the project, the grant recipient's work on order-adjoint monads and injective objects demonstrated the power of the monadic approach to topology by describing the injective objects of lax algebras.

9. Blastomere - any cell resulting from cleavage of a fertilized egg cell - (biology) the basic structural and functional unit of all organisms; they may exist as independent units of life (as in monads) or may form colonies or tissues as in higher plants and animals

10. Blastema - a mass of undifferentiated cells from which an organ or body part develops cell - (biology) the basic structural and functional unit of all organisms; they may exist as independent units of life (as in monads) or may form colonies or tissues as in higher plants and animals

11. Blastema - a mass of undifferentiated cells from which an organ or body part develops cell - (biology) the basic structural and functional unit of all organisms; they may exist as independent units of life (as in monads) or may form colonies or tissues as in higher plants and animals

12. What are some good examples of Kan extensions, Adjunctions, and (co)monads in analysis, Lie theory, and differential geometry? Since limits and colimits can be characterized as Kan extensions or Adjunctions, we have the obvious standard constructions: (co)products, (co)equalizers, etc., but these are common to a lot of categories we work with.