Skip to content
DraconiticResearch
Search Sources API
203,234 studies31 sourcesUpdated 49 min ago
PreprintCC BY 4.0arXiv

Logics vs doctrines, a mirror symmetry

  • Ivan Di Liberti
  • Umberto Tarantino
  • Lingyuan Ye
Open at sourcePDFDOICite

Abstract

We study the relationship between doctrines, encoding 2-categories of theories in predicate logic, and fragments of geometric logic, defined through Kan injectivity in the 2-category of topoi. After a brief historical account of the notion of doctrine, we propose our working definition. Our main result then establishes a Galois connection between doctrines and subgeometric logics. This connection suggests a mirror symmetry between the world of doctrines and the world of logics, in which constructions and results on either side admit counterparts on the other. We develop this symmetry through constructions of syntactic categories and classifying topoi in both settings, recovering the familiar examples from categorical logic. We prove paired Diaconescu-type theorems and give symmetric universal characterisations of the two closure operators induced by the Galois connection. Finally, we show that passing from a doctrine to its closure induces a reflection between the corresponding 2-categories of algebras, and we relate this reflection to conceptual completeness.

Related

  1. All genus open mirror symmetry for footballs
    Zhuoming Lan, Jinghao Yu, Zhengyu Zong
    arXivPreprintarXiv licenceFull textAlgebra & number theoryMathematical physicsarXiv
  2. Local Homological Mirror Symmetry
    Si-Yang Liu, Kyungmin Rho
    arXivPreprintCC BY-NC-SA 4.0Full textAlgebra & number theoryGeometry & topologyarXiv
  3. Landau--Ginzburg mirror symmetry for ADE singularities
    Alexey Basalaev
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryMathematical physicsarXiv
  4. Intrinsic mirror symmetry for orbifold cubic surfaces and the A1 spherical DAHA
    Pierrick Bousseau, Sayan Chattopadhyay
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryGeometry & topologyarXiv
  5. All-Genus Open Mirror Symmetry for Toric Calabi-Yau 3-Orbifolds with Multiple Branes
    Bohan Fang, Chiu-Chu Melissa Liu, Song Yu +1
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv

Cite

BibTeXRIS
BibTeX
@misc{liberti2026logics,
  title = {{Logics vs doctrines, a mirror symmetry}},
  author = {Ivan Di Liberti and Umberto Tarantino and Lingyuan Ye},
  howpublished = {arXiv},
  year = {2026},
  month = oct,
  doi = {10.48550/arxiv.2610.29771},
  eprint = {2610.29771},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2610.29771},
  note = {CC BY 4.0},
}
RIS
TY  - UNPB
TI  - Logics vs doctrines, a mirror symmetry
AU  - Ivan Di Liberti
AU  - Umberto Tarantino
AU  - Lingyuan Ye
PY  - 2026
DA  - 2026/10/22
PB  - arXiv
DO  - 10.48550/arxiv.2610.29771
UR  - https://arxiv.org/abs/2610.29771
AB  - We study the relationship between doctrines, encoding 2-categories of theories in predicate logic, and fragments of geometric logic, defined through Kan injectivity in the 2-category of topoi. After a brief historical account of the notion of doctrine, we propose our working definition. Our main result then establishes a Galois connection between doctrines and subgeometric logics. This connection suggests a mirror symmetry between the world of doctrines and the world of logics, in which constructions and results on either side admit counterparts on the other. We develop this symmetry through constructions of syntactic categories and classifying topoi in both settings, recovering the familiar examples from categorical logic. We prove paired Diaconescu-type theorems and give symmetric universal characterisations of the two closure operators induced by the Galois connection. Finally, we show that passing from a doctrine to its closure induces a reflection between the corresponding 2-categories of algebras, and we relate this reflection to conceptual completeness.
ER  -