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

In this text we explore and propose notions of sheaves over commutative, integral quantales, which are based on extensions of results of the theory of sheaves over locales: the interplay of sheaves as valued-sets and the analogy of sheaves as enriched categories. Over these proposals, we define logi...