Adjective
subcanonical (not comparable) (mathematics, of the topology of a category) in which every representable contravariant functor is a sheaf