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