General Subobjectclassifier

This is just the data for `equiv_adjointify`, right?  And the usual practice I've seen is to use `Equiv` and `equiv_adjointify` as needed, but not use the other kinds of equivalences?