Morita Equivalence of Sketches
Source: Applied Categorical Structures, Volume 8, Number 3, September 2000 , pp. 503-517(15)
Abstract:Equivalence of sketches S and T means the equivalence of their categories Mod_S and Mod_T of all Set-valued models. E. Vitale and the second author have characterized equivalence of limit-sketches by means of bimodels, where a bimodel for limit sketches S and T is a model of S in the category Mod_T. For general sketches, we show that an analogous result holds provided that Mod_T is substituted by a more complex category; e.g., in case of limit-coproduct sketches, that category is ∏(Mod_T), the free product completion of Mod_T.
Document Type: Regular Paper
Affiliations: 1: Technical University of Braunschweig, Postfach 3329, 38023 Braunschweig, Germany, e-mail: email@example.com 2: Département de Mathématique, Université Catholique de Louvain, 2 chemin du Cyclotron, 1348 Louvain-la-Neuve, Belgium, e-mail: firstname.lastname@example.org
Publication date: September 2000