Morita equivalence of sketches
(2000) Applied Categorical Structures : a journal devoted to applications of categorical methods in algebra, analysis, order, topology and computer science — Vol. 8, n° 3, p. 503-517 (2000)
Files
No attached file found for this publication.
Details
- Authors
- 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 Pi(Mod(T)), the free product completion of Mod(T).
- Affiliations
Citations
Adamek, J., & Borceux, F. (2000). Morita equivalence of sketches. Applied Categorical Structures : a journal devoted to applications of categorical methods in algebra, analysis, order, topology and computer science, 8(3), 503-517. https://doi.org/10.1023/A:1008735511095 (Original work published 2000)