Set-valued characterization of test Morita equivalences

Let F ⁣:STF\colon\mathcal{S}\to\mathcal{T} be a morphism of limit sketches. A test Morita equivalence is a morphism of sketches that induces an equivalence

F ⁣:Skt(T,Set)Skt(S,Set)F^*\colon \mathsf{Skt}(\mathcal{T},\mathsf{Set})\to\mathsf{Skt}(\mathcal{S},\mathsf{Set})

for every test sketch. Set-valued characterization conjecture. The morphism FF is a test Morita equivalence if and only if it induces an equivalence

F ⁣:Skt(T,Set)Skt(S,Set),F^*\colon \mathsf{Skt}(\mathcal{T},\mathsf{Set})\to\mathsf{Skt}(\mathcal{S},\mathsf{Set}),

where Set\mathsf{Set} is the category of sets with its natural test structure. This conjecture would characterize test Morita equivalences using only models in sets, in the spirit of Gabriel–Ulmer duality; its resolution would clarify whether the full quantification over test sketches can be reduced to the category of sets.

Sources & referencesView supporting material

Primary source

Ivan Di Liberti and Gabriele Lobbia, “Sketches and Classifying Logoi”, arXiv:2403.09264 (2024).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.