adjoint pair
Смотреть что такое "adjoint pair" в других словарях:
Adjoint functors — Adjunction redirects here. For the construction in field theory, see Adjunction (field theory). For the construction in topology, see Adjunction space. In mathematics, adjoint functors are pairs of functors which stand in a particular… … Wikipedia
Pair-et-grandrupt — La mairie école Administration Pays France Région Lorraine Département … Wikipédia en Français
Pair (Vosges) — Pair et Grandrupt Pair et Grandrupt La mairie école Administration Pays France Région Lorraine Département … Wikipédia en Français
Pair-et-Grandrupt — 48° 16′ 55″ N 7° 01′ 10″ E / 48.2819444444, 7.01944444444 … Wikipédia en Français
Grandrupt (Pair) — Pair et Grandrupt Pair et Grandrupt La mairie école Administration Pays France Région Lorraine Département … Wikipédia en Français
Universal property — In various branches of mathematics, certain constructions are frequently defined or characterised by an abstract property which requires the existence of a unique morphism under certain conditions. These properties are called universal properties … Wikipedia
Galois connection — In mathematics, especially in order theory, a Galois connection is a particular correspondence between two partially ordered sets (posets). Galois connections generalize the correspondence between subgroups and subfields investigated in Galois… … Wikipedia
Reflective subcategory — In mathematics, a subcategory A of a category B is said to be reflective in B when the inclusion functor from A to B has a left adjoint. This adjoint is sometimes called a reflector. Dually, A is said to be coreflective in B when the inclusion… … Wikipedia
Group ring — This page discusses the algebraic group ring of a discrete group; for the case of a topological group see group algebra, and for a general group see Group Hopf algebra. In algebra, a group ring is a free module and at the same time a ring,… … Wikipedia
Tensor-hom adjunction — The tensor hom adjunction; in computer science the analogous concept is called currying.tatementThe functors otimes X and operatorname{Hom}(X, )form an adjoint pair::operatorname{Hom}(Y otimes X, Z) =… … Wikipedia
Chu space — Chu spaces generalize the notion of topological space by dropping the requirements that the set of open sets be closed under union and finite intersection, that the open sets be extensional, and that the membership predicate (of points in open… … Wikipedia