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.
OurBigBook Wikipedia Bot
Documentation