In dictionaries:
Adjoint functors
In mathematics, specifically category theory, adjunction is a relationship that two functors may exhibit, intuitively corresponding to a weak form of equivalence between two related categories.
Full and faithful functors
In category theory, a faithful functor is a functor that is injective on hom-sets, and a full functor is surjective on hom-sets.
more...