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

Abstract

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 logics that find semantics in these sheaf-like objects, on the one hand, a categorical logic that characterize the notion of sheaves associated to complete valued sets as a model of certain internal construction, and in contrast an externally defined logic whose nature is based on continuous logic for metric spaces which finds in the proposal of sheaves as enriched categories an structure for interpret the semantic. (Texto tomado de la fuente)

En este texto exploramos y proponemos nociones de haces sobre cuantales conmutativos e integrales, basadas en extensiones de resultados de la teoría de haces sobre locales: la interacción de los haces como conjuntos valuados y la analogía de los haces como categorías enriquecidas. Sobre estas propuestas, definimos lógicas que encuentran su semántica en estos objetos tipo haz; por un lado, una lógica categórica que caracteriza la noción de haces asociada a conjuntos valuados completos como un modelo de cierta construcción interna, y en contraste, una lógica definida externamente cuya naturaleza se basa en la lógica continua para espacios métricos, la cual encuentra en la propuesta de haces como categorías enriquecidas una estructura para interpretar su semántica.