{"id":"arxiv/2608.15199","url":"https://arxiv.org/abs/2608.15199","tags":["math.CT","math.LO"],"score":0,"title":"Quotients-comprehensions duality in relational doctrines","domain":"math.CT","source":"arxiv","authors":["Francesco Dagnino","Fabio Pasquali"],"reviews":0,"subject":"math.CT","summary":"We establish a duality between quotients and comprehensions in relational doctrines, a class of indexed posets modelling (a minimal fragment of) the calculus of relations. We show that every relational doctrine determines an ``opposite\" relational doctrine and that one has quotients if and only if the other has comprehensions. This duality extends to the 2-categorical level, yielding a 2-dual isomorphism between the 2-categories of relational doctrines with quotients and that with comprehensions, allowing to derive results on relational doctrines with comprehensions from their dual…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-15","reactions":{}}