subcanonical (canonical + sub-; below_under)
in which every representable contravariant functor is a sheaf