Open Research Index

Projective covers, doctrines of algebras and the relational quotient completion

Francesco Dagnino, Fabio Pasquali

arXivarxiv/2608.01915Aug 3, 2026math.CTscore 0

The extensional quotient completion of relational doctrines provides a common generalization of both the exact completion of categories with weak finite limits and the elementary quotient completion of existential elementary doctrines. In this paper, we study projective objects in relational doctrines with quotients, characterizing those obtained through the extensional quotient completion as those admitting a projective cover. We apply this result to doctrines of algebras for monads on relational doctrines with quotients, describing in which cases these arise as the extensional quotient…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2608.01915
curl -X POST /api/v1/records/arxiv/2608.01915/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.01915/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'