Axiom of adjunction
= Axiom of adjunction
{wiki=Axiom_of_adjunction}
The Axiom of Adjunction is a concept in category theory, a branch of mathematics that deals with abstract structures and relationships between them. Specifically, it refers to a relationship between two functors that can be considered as a pair of adjoint functors.