{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:RDU6KDPYJFZZZKSUJSQONLHMVZ","short_pith_number":"pith:RDU6KDPY","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"},"canonical_sha256":"88e9e50df849739caa544ca0e6acecae4de353d65f474047364ce1d9f9b2af91","source":{"kind":"arxiv","id":"2608.01915","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2608.01915","created_at":"2026-08-04T02:07:37Z"},{"alias_kind":"arxiv_version","alias_value":"2608.01915v1","created_at":"2026-08-04T02:07:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.01915","created_at":"2026-08-04T02:07:37Z"},{"alias_kind":"pith_short_12","alias_value":"RDU6KDPYJFZZ","created_at":"2026-08-04T02:07:37Z"},{"alias_kind":"pith_short_16","alias_value":"RDU6KDPYJFZZZKSU","created_at":"2026-08-04T02:07:37Z"},{"alias_kind":"pith_short_8","alias_value":"RDU6KDPY","created_at":"2026-08-04T02:07:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:RDU6KDPYJFZZZKSUJSQONLHMVZ","target":"record","payload":{"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"},"canonical_sha256":"88e9e50df849739caa544ca0e6acecae4de353d65f474047364ce1d9f9b2af91","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"},"source_kind":"arxiv","source_id":"2608.01915","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-08-04T02:07:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GoGOypxcyOqR2WTPqzwUelq5qMkXxK++K97Lx33cgx6tLk51R1OiHUmK0uuJvtJjeAUfznPsPLvumppetgGyDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T10:33:58.682829Z"},"content_sha256":"6dcd96a4791160ea7176fd6d15c972553f561dfcd08968a1054ddae30b542c20","schema_version":"1.0","event_id":"sha256:6dcd96a4791160ea7176fd6d15c972553f561dfcd08968a1054ddae30b542c20"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:RDU6KDPYJFZZZKSUJSQONLHMVZ","target":"graph","payload":{"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-08-04T02:07:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"l1AuZrvTqrdkMcAsh0hIQPaE92sDd8X9Jw1gfdbbn6ajh9T7IFHsVDPPfNEGgOG/RKiBiy1xLJuZ3+fbotoADw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T10:33:58.683312Z"},"content_sha256":"739a403fcd98713ee42ef3885c26f6a4adeb0844070f8eda894a87b5b754c920","schema_version":"1.0","event_id":"sha256:739a403fcd98713ee42ef3885c26f6a4adeb0844070f8eda894a87b5b754c920"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RDU6KDPYJFZZZKSUJSQONLHMVZ/bundle.json","state_url":"https://pith.science/pith/RDU6KDPYJFZZZKSUJSQONLHMVZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RDU6KDPYJFZZZKSUJSQONLHMVZ/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-12T10:33:58Z","links":{"resolver":"https://pith.science/pith/RDU6KDPYJFZZZKSUJSQONLHMVZ","bundle":"https://pith.science/pith/RDU6KDPYJFZZZKSUJSQONLHMVZ/bundle.json","state":"https://pith.science/pith/RDU6KDPYJFZZZKSUJSQONLHMVZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RDU6KDPYJFZZZKSUJSQONLHMVZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:RDU6KDPYJFZZZKSUJSQONLHMVZ","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"f1631de06f02437b70311c7203aa6f0f0d85a0830c58a09edaff9f6de55c1a50","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2026-08-03T08:48:11Z","title_canon_sha256":"5757b401ea6294fe39663b028a79145b1f4c9be4cf2b6292c44bc0223fe18d2e"},"schema_version":"1.0","source":{"id":"2608.01915","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2608.01915","created_at":"2026-08-04T02:07:37Z"},{"alias_kind":"arxiv_version","alias_value":"2608.01915v1","created_at":"2026-08-04T02:07:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.01915","created_at":"2026-08-04T02:07:37Z"},{"alias_kind":"pith_short_12","alias_value":"RDU6KDPYJFZZ","created_at":"2026-08-04T02:07:37Z"},{"alias_kind":"pith_short_16","alias_value":"RDU6KDPYJFZZZKSU","created_at":"2026-08-04T02:07:37Z"},{"alias_kind":"pith_short_8","alias_value":"RDU6KDPY","created_at":"2026-08-04T02:07:37Z"}],"graph_snapshots":[{"event_id":"sha256:739a403fcd98713ee42ef3885c26f6a4adeb0844070f8eda894a87b5b754c920","target":"graph","created_at":"2026-08-04T02:07:37Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2608.01915/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"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","authors_text":"Fabio Pasquali, Francesco Dagnino","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2026-08-03T08:48:11Z","title":"Projective covers, doctrines of algebras and the relational quotient completion"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.01915","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:6dcd96a4791160ea7176fd6d15c972553f561dfcd08968a1054ddae30b542c20","target":"record","created_at":"2026-08-04T02:07:37Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"f1631de06f02437b70311c7203aa6f0f0d85a0830c58a09edaff9f6de55c1a50","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2026-08-03T08:48:11Z","title_canon_sha256":"5757b401ea6294fe39663b028a79145b1f4c9be4cf2b6292c44bc0223fe18d2e"},"schema_version":"1.0","source":{"id":"2608.01915","kind":"arxiv","version":1}},"canonical_sha256":"88e9e50df849739caa544ca0e6acecae4de353d65f474047364ce1d9f9b2af91","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"88e9e50df849739caa544ca0e6acecae4de353d65f474047364ce1d9f9b2af91","first_computed_at":"2026-08-04T02:07:37.632948Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-08-04T02:07:37.632948Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3/5p86Mn0XwQO0Dd0fHHiI5M7boA/qUOkdt+uj92LAOwQgFddNE91qhq3OQSZrwQb0mCwQam0+ClvKrg8KOCBg==","signature_status":"signed_v1","signed_at":"2026-08-04T02:07:37.634609Z","signed_message":"canonical_sha256_bytes"},"source_id":"2608.01915","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6dcd96a4791160ea7176fd6d15c972553f561dfcd08968a1054ddae30b542c20","sha256:739a403fcd98713ee42ef3885c26f6a4adeb0844070f8eda894a87b5b754c920"],"state_sha256":"bbf1755d692ff97ea60b2a7e44e31ff6838ff7e13bdfc38a83d60896f9d32458"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eEkCVkM/7Fl/hfoIx2kDbNCdWnQFxl7btynsXEL0hVZ4RucR8j2yu+BYhSGljQcauBF5rRPCZ+a1ri1DxhssDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-12T10:33:58.687238Z","bundle_sha256":"e70e61e5a2425e78ad4c8a1c7b4c35e27442661c9b2117e719d246e4a5db032e"}}