Predicates on sets were organised in a category that was called \(\mathrm {\mathbf {Pred}}\)  in [1]}, in order to describe
the logic and type theory of standard sets in fibred form. Here we present this category within
\(\mathrm {BST}\) .
