Resumen

RAMIREZ, CARLOS ERNESTO. Semántica categórica para subexponenciales en SELL. Integración - UIS [online]. 2014, vol.32, n.1, pp.39-54. ISSN 0120-419X.

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

Palabras clave : Linear logic; monoidal categories; enriched categories; categorical semantic.

        · resumen en Español     · texto en Español     · Español ( pdf )