Adjunction

  • (noun): An act of joining or adjoining things.
    Synonyms: junction

Some articles on adjunction, adjunctions:

Tensor-hom Adjunction
... In mathematics, the tensor-hom adjunction is that the tensor product and Hom functors and form an adjoint pair This is made more precise below ... The order "tensor-hom adjunction" is because tensor is the left adjoint, while hom is the right adjoint ...
Monoidal Adjunction
... A monoidal adjunction between two lax monoidal functors and is an adjunction between the underlying functors, such that the natural transformations and are monoidal ...
General Set Theory - Discussion
... of Z obtained by omitting the axioms Union, Power Set, Infinity, and Choice, then taking Adjunction, a theorem of Z, as an axiom ... Adjunction implies that if x is a set, then so is ... Given Adjunction, the usual construction of the successor ordinals from the empty set can proceed, one in which the natural numbers are defined as (see Peano's ...
Adjunction Space - Examples
... A common example of an adjunction space is given when Y is a closed n-ball (or cell) and A is the boundary of the ball, the (n−1)-sphere ... Adjunction spaces are also used to define connected sums of manifolds ... If A is a space with one point then the adjunction is the wedge sum of X and Y ...
Monad (category Theory) - Monads and Adjunctions
... An adjunction between two categories and (where is left adjoint to and and are respectively the unit and the counit) always defines a monad ... Conversely, it is interesting to consider the adjunctions which define a given monad this way ... Let be the category whose objects are the adjunctions such that and whose arrows are the morphisms of adjunctions which are the identity on ...