Set-valued characterization of test Morita equivalences

About 2 years old · traced to

Let F ⁣:S→TF\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.

References

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.