semántica categórica para subexponenciales en sell

La semántica categórica ha permitido establecer de forma precisa y formal el significado de los términos y conectivos de distintas lógicas. En particular, los trabajos de distintos autores empezando por de Paiva y Hyland [3] han permitido abordar desde el enfoque categórico la semántica de la lógica lineal, tanto clásica como intuicionista. Uno de los aspectos más relevantes consiste en intentar dar una interpretación categórica al operador exponencial !. Mellies [11] y Bierman [4] finalmente han mostrado que esta interpretación corresponde a un composición entre adjuntos monoidales. Con la aparición de SELL, ahora se cuenta con una familia de subexponenciales ajustados dentro de una estructura de preorden. Lo que se pretende en este trabajo es obtener una interpretación categórica para esta familia de subexponenciales, inspirados en la misma noción de adjuntos monoidales, pero que respete la estructura de preorden asignada para la familia de exponenciales. Abstract. Categorical semantics have established formal and accurately the meaning of the terms and connectives of different logics. In particular, the work of various authors, starting with de Paiva and Hyland [3], have allowed to look at the semantics of linear logic, both classical and intuitionists, from a categorical point of view. One of the most important task is to try to give a categorical interpretation to the exponential operator !. Mellies [11] and Bierman [4] have finally shown that this interpretation corresponds to a composition between monoidal adjoints. With the emergence of SELL, now we have a family of subexponential, adjusted within a preorder structure. The intention in this work is to obtain a categorical interpretation for this family of subexponentials, inspired by the very notion of monoidal adjoints, but preserving the preorder structure assigned to the exponential family.