Text this: Internal and external aspects of continuous logic and categorical logic for sheaves over quantales