Preordered categories and predicate transformers