{"id":"arxiv/2610.29771","url":"https://arxiv.org/abs/2610.29771","tags":["math.CT","cs.LO","math.LO"],"score":0,"title":"Logics vs doctrines, a mirror symmetry","domain":"math.CT","source":"arxiv","authors":["Ivan Di Liberti","Umberto Tarantino","Lingyuan Ye"],"reviews":0,"subject":"math.CT","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-21","reactions":{}}