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

@Chuyên ngành kỹ thuật
@Lĩnh vực: toán & tin
-hàm tử dẫn xuất

Đặt câu có từ "derived functor"

1. The double dual functor is naturally isomorphic to the identity functor on LCA.

2. One may also start with a contravariant left-exact functor F; the resulting right-derived functors are then also contravariant.

3. Define the functor S * as follows:

4. H-equivariant) deformation functor of X/H (resp.

5. It uses the exact functor theorem.

6. A category with a faithful functor to Set is (by definition) a concrete category; in general, that forgetful functor is not full.

7. Every representable functor C → Set preserves limits (but not necessarily colimits).

8. First, recall that an additive functor is a functor F: C → D between preadditive categories that acts as a group homomorphism on each hom-set.

9. Monad, Applicative functor, and functor are just functional programming patterns you can use to deal with effects like lists/arrays, trees, hashes/dictionaries, and even functions.

10. F is a functor, hence a presheaf, because it is constant.

11. At the cost of some repetition (compare adjoint functor), we outline how one gets from the hom-functor formulation of Adjunction in Cat to the elementary definition in terms of units and counits.

12. Note that Hk is a contravariant functor while Hn − k is covariant.

13. Σ gives rise to a functor from the category of pointed spaces to itself.

14. The reflector is the functor which sends each group to its abelianization.

15. (A functor is simply exact if it's both left exact and right exact.)

16. However, as a natural quantization scheme (a functor), Weyl's map is not satisfactory.

Tuy nhiên, như một sơ đồ lượng tử hóa tự nhiên (một functor), bản đồ Weyl là không thỏa đáng.

17. Applicatives Laws (2B) 3 Young Won Lim 3/6/18 The definition of Applicative class (Functor f) => Applicative f where pure:: a -> f a (<*>) :: f (a -> b) -> f a -> f b The class has a two methods : pure brings arbitrary values into the functor (<*>) takes a function wrapped in a functor f and a value wrapped in a functor f and returns the result of the application

18. A Maybe implements all three, so it is a functor, an Applicative, and a monad

19. A right adjoint to a forgetful functor is called a cofree functor; in general, right Adjoints may be thought of as being defined cofreely, consisting of anything that works in an inverse, regardless of whether it’s needed

20. For technical reasons, the category Ban1 of Banach spaces and linear contractions is often equipped not with the "obvious" forgetful functor but the functor U1 : Ban1 → Set which maps a Banach space to its (closed) unit ball.

21. This leads to the clarifying concept of natural transformation, a way to "map" one functor to another.

22. Note that an exact functor, because it preserves both kernels and cokernels, preserves all images and coimages.

23. In this note, we introduce a criterion to detect vanishing of essential algebras of a Green Biset functor by means of morphisms

24. The fact that there does not exist any faithful functor from hTop to Set was first proven by Peter Freyd.

25. Derived forms: Collaborationisms