Morita Equivalence for Many-Sorted Enriched Theories

Abstract

Morita equivalence detects the situation in which two different theories admit the same class of models for the given theories. We generalise the result of Adámek, Sobral and Sousa concerning Morita equivalence of many-sorted algebraic theories. This generalisation is two-fold. We work in an enriched setting, so the result is parametric in the choice of… (More)
DOI: 10.1007/s10485-015-9406-y

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics