Let us consider an abelian category
which is locally small and
a dense subcategory
of
, with
being the canonical functor.
Moreover, let us assume that
has a right adjoint denoted by
such that one has the
following functorial isomorphism, or natural equivalence:
.
Definition 1.1
The right adjoint functor
of
-
which is specified by the essential data above- is called a section functor.
Note: the category
is defined as a localizing subcategory.
Reference cited.
Contributors to this entry (in most recent order):