Abstract
Equivalence of sketches S and T means the equivalence of their categories ModS and ModT 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 ModT. For general sketches, we show that an analogous result holds provided that ModT is substituted by a more complex category; e.g., in case of limit-coproduct sketches, that category is ∏(ModT), the free product completion of ModT.
Similar content being viewed by others
References
Adámek, J.: A categorical generalization of Scott domains, Math. Struct. in Comp. Science 7 (1977), 419–443.
Adámek, J. and Rosický, J.: Locally Presentable and Accessible Categories, Cambridge Univ. Press, Cambridge, 1994.
Borceux, F.: Handbook of Categorical Algebra, Vol. 2, Cambridge Univ. Press, Cambridge, 1994.
Borceux, F. and Vitale, E.: On the notion of bimodel for functorial semantics, Appl. Categ. Structures 2 (1994), 283–295.
Diers, Y.: Catégories localisables, Thesis, Paris 6, 1977.
Gabriel, P. and Ulmer, F.: Lokal präsentierbare Kategorien, Lecture Notes in Math. 221, Springer, 1971.
Guitart, R. and Lair, C.: Calcul syntaxique des modèles et calcul des formules internes, Diagrammes 4 (1980), 1–106.
Lair, C.: Catégories modelables et catégories esquissables, Diagrammes 6 (1981), 1–20.
Makkai, M. and Paré, R.: Accessible Categories, Contemp. Math. 104, Amer. Math. Soc., Providence, 1989.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Adámek, J., Borceux, F. Morita Equivalence of Sketches. Applied Categorical Structures 8, 503–517 (2000). https://doi.org/10.1023/A:1008735511095
Issue Date:
DOI: https://doi.org/10.1023/A:1008735511095