Substructural Exponential Categories in Category Theory and Categorical Logics. Vladimir L. Vasyukov

Vladimir L. Vasyukov
Substructural Exponential Categories in Category Theory and Categorical Logics
Abstract
The conception of categorical logics emerged in the framework of category theory but today it turns out to be an independent field of modern logical studies. In the paper an equivalency of elementary category theory and categorical logics is shown and some features of that result for the case of so-called substructural exponential categories are considered.

in English