This proposal is predicative, but could be made impredicative easily (to correspond closer to elementary 1-toposes rather than to types of 1-pretoposes) by adding a subobject classifier (i.e. a classifier for all subobjects, rather than merely the “classifiers for small subobjects” obtainable from object classifiers).