Adjoint functors

relationship that two functors may have

monoid in an endofunctor category

abstract mathematics relationship

a “generic” algebraic structure over the given set, fulfilling no other equations except those given by the defining axioms

Category theory constructs

equivalence relation on rings

full subcategory whose inclusion functor has a left adjoint

relation of categories in category theory

Category theory