{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:RDU6KDPYJFZZZKSUJSQONLHMVZ","short_pith_number":"pith:RDU6KDPY","schema_version":"1.0","canonical_sha256":"88e9e50df849739caa544ca0e6acecae4de353d65f474047364ce1d9f9b2af91","source":{"kind":"arxiv","id":"2608.01915","version":1},"attestation_state":"computed","paper":{"title":"Projective covers, doctrines of algebras and the relational quotient completion","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"Fabio Pasquali, Francesco Dagnino","submitted_at":"2026-08-03T08:48:11Z","abstract_excerpt":"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 compl"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2608.01915","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2026-08-03T08:48:11Z","cross_cats_sorted":[],"title_canon_sha256":"5757b401ea6294fe39663b028a79145b1f4c9be4cf2b6292c44bc0223fe18d2e","abstract_canon_sha256":"f1631de06f02437b70311c7203aa6f0f0d85a0830c58a09edaff9f6de55c1a50"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-08-04T02:07:37.634609Z","signature_b64":"3/5p86Mn0XwQO0Dd0fHHiI5M7boA/qUOkdt+uj92LAOwQgFddNE91qhq3OQSZrwQb0mCwQam0+ClvKrg8KOCBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"88e9e50df849739caa544ca0e6acecae4de353d65f474047364ce1d9f9b2af91","last_reissued_at":"2026-08-04T02:07:37.632948Z","signature_status":"signed_v1","first_computed_at":"2026-08-04T02:07:37.632948Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Projective covers, doctrines of algebras and the relational quotient completion","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"Fabio Pasquali, Francesco Dagnino","submitted_at":"2026-08-03T08:48:11Z","abstract_excerpt":"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 compl"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.01915","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2608.01915/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2608.01915","created_at":"2026-08-04T02:07:37.634576+00:00"},{"alias_kind":"arxiv_version","alias_value":"2608.01915v1","created_at":"2026-08-04T02:07:37.634576+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.01915","created_at":"2026-08-04T02:07:37.634576+00:00"},{"alias_kind":"pith_short_12","alias_value":"RDU6KDPYJFZZ","created_at":"2026-08-04T02:07:37.634576+00:00"},{"alias_kind":"pith_short_16","alias_value":"RDU6KDPYJFZZZKSU","created_at":"2026-08-04T02:07:37.634576+00:00"},{"alias_kind":"pith_short_8","alias_value":"RDU6KDPY","created_at":"2026-08-04T02:07:37.634576+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/RDU6KDPYJFZZZKSUJSQONLHMVZ","json":"https://pith.science/pith/RDU6KDPYJFZZZKSUJSQONLHMVZ.json","graph_json":"https://pith.science/api/pith-number/RDU6KDPYJFZZZKSUJSQONLHMVZ/graph.json","events_json":"https://pith.science/api/pith-number/RDU6KDPYJFZZZKSUJSQONLHMVZ/events.json","paper":"https://pith.science/paper/RDU6KDPY"},"agent_actions":{"view_html":"https://pith.science/pith/RDU6KDPYJFZZZKSUJSQONLHMVZ","download_json":"https://pith.science/pith/RDU6KDPYJFZZZKSUJSQONLHMVZ.json","view_paper":"https://pith.science/paper/RDU6KDPY","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2608.01915&json=true","fetch_graph":"https://pith.science/api/pith-number/RDU6KDPYJFZZZKSUJSQONLHMVZ/graph.json","fetch_events":"https://pith.science/api/pith-number/RDU6KDPYJFZZZKSUJSQONLHMVZ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/RDU6KDPYJFZZZKSUJSQONLHMVZ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/RDU6KDPYJFZZZKSUJSQONLHMVZ/action/storage_attestation","attest_author":"https://pith.science/pith/RDU6KDPYJFZZZKSUJSQONLHMVZ/action/author_attestation","sign_citation":"https://pith.science/pith/RDU6KDPYJFZZZKSUJSQONLHMVZ/action/citation_signature","submit_replication":"https://pith.science/pith/RDU6KDPYJFZZZKSUJSQONLHMVZ/action/replication_record"}},"created_at":"2026-08-04T02:07:37.634576+00:00","updated_at":"2026-08-04T02:07:37.634576+00:00"}