Set-valued characterization of test Morita equivalences
Set-valued characterization of test Morita equivalences
Let be a morphism of limit sketches. A test Morita equivalence is a morphism of sketches that induces an equivalence
for every test sketch. Set-valued characterization conjecture. The morphism is a test Morita equivalence if and only if it induces an equivalence
where 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
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.