Categorical Glueing and Logical Predicates for Models of Linear Logic