Predicate Implications for general categories