Morita equivalence of sketches (Q1840752): Difference between revisions
From MaRDI portal
Changed an Item |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1023/a:1008735511095 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1644097432 / rank | |||
Normal rank |
Latest revision as of 11:48, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Morita equivalence of sketches |
scientific article |
Statements
Morita equivalence of sketches (English)
0 references
21 June 2001
0 references
This paper deals with arbitrary small sketches and their categories of models. Two sketches \({\mathcal S}\) and \({\mathcal T}\) are called Morita equivalent if their categories of models in \({\mathcal S}et\), \({\mathcal M}od({\mathcal S})\) and \({\mathcal M}od({\mathcal T})\), are equivalent. Sketches are classified by doctrines: a doctrine \({\mathcal D}\) is a pair \(({\mathcal D}_L,{\mathcal D}_C)\) of classes of small categories, a \({\mathcal D}\)-sketch is a sketch whose cones have base in \({\mathcal D}_L\) and co-cones have base in \({\mathcal D}_C\). To any \({\mathcal D}\)-sketch \({\mathcal S}\) is associated the legitimate category \(\widehat{\mathcal S}\) of those accessible functors \({\mathcal M}od({\mathcal S})\to{\mathcal S}et\) which preserve all \(D\)-limits where \(D\in {\mathcal D}_L\) is such that, in \({\mathcal S}et\), \(D\)-limits commute with all \({\mathcal D}_C\)-colimits. An \({\mathcal S}-{\mathcal T}\) bimodel is a model of \({\mathcal S}\) in \(\widehat{\mathcal T}\). Bimodels can be composed in an associative way. The main result of the paper is that two sketches \({\mathcal S}\) and \({\mathcal T}\) are Morita equivalent if and only if there exists a \({\mathcal S}-{\mathcal T}\) bimodel \(\varphi\) and an \({\mathcal T}-{\mathcal S}\) bimodel \(\psi\) which are mutually inverse for the composition. Several particular cases are studied.
0 references
Morita equivalence
0 references
sketches
0 references
categories of models
0 references
doctrines
0 references
accessible functors
0 references