{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:G6WYGU3BMB7OMTVMM4BK4FOSNC","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":"ed6f364d48f8a64cabddd1178e37dcec2ee79c79a5a0c60d396c82f0b08fc98b","cross_cats_sorted":["math.CT","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-01-22T18:39:48Z","title_canon_sha256":"92273b4420275411669f425abc751eecc27a651a0bbe4c653bff1ed63e566149"},"schema_version":"1.0","source":{"id":"1601.06098","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1601.06098","created_at":"2026-05-18T01:09:11Z"},{"alias_kind":"arxiv_version","alias_value":"1601.06098v2","created_at":"2026-05-18T01:09:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1601.06098","created_at":"2026-05-18T01:09:11Z"},{"alias_kind":"pith_short_12","alias_value":"G6WYGU3BMB7O","created_at":"2026-05-18T12:30:15Z"},{"alias_kind":"pith_short_16","alias_value":"G6WYGU3BMB7OMTVM","created_at":"2026-05-18T12:30:15Z"},{"alias_kind":"pith_short_8","alias_value":"G6WYGU3B","created_at":"2026-05-18T12:30:15Z"}],"graph_snapshots":[{"event_id":"sha256:d3e718dd6074b1d8a01f69bffcdc1a45699533e2d963d9ccc01baafb463318e9","target":"graph","created_at":"2026-05-18T01:09:11Z","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"},"paper":{"abstract_excerpt":"Combining insights from the study of type refinement systems and of monoidal closed chiralities, we show how to reconstruct Lawvere's hyperdoctrine of presheaves using a full and faithful embedding into a monoidal closed bifibration living now over the compact closed category of small categories and distributors. Besides revealing dualities which are not immediately apparent in the traditional presentation of the presheaf hyperdoctrine, this reconstruction leads us to an axiomatic treatment of directed equality predicates (modelled by hom presheaves), realizing a vision initially set out by La","authors_text":"Noam Zeilberger, Paul-Andr\\'e Melli\\`es","cross_cats":["math.CT","math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-01-22T18:39:48Z","title":"A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1601.06098","kind":"arxiv","version":2},"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:6cf524e42205f2708c1938ef2679711d78fcc1dbbd99609e4660f79743fbe314","target":"record","created_at":"2026-05-18T01:09:11Z","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":"ed6f364d48f8a64cabddd1178e37dcec2ee79c79a5a0c60d396c82f0b08fc98b","cross_cats_sorted":["math.CT","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-01-22T18:39:48Z","title_canon_sha256":"92273b4420275411669f425abc751eecc27a651a0bbe4c653bff1ed63e566149"},"schema_version":"1.0","source":{"id":"1601.06098","kind":"arxiv","version":2}},"canonical_sha256":"37ad835361607ee64eac6702ae15d268b9d6c7d051e7d68c3ff85de5dbe4a465","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"37ad835361607ee64eac6702ae15d268b9d6c7d051e7d68c3ff85de5dbe4a465","first_computed_at":"2026-05-18T01:09:11.802772Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:09:11.802772Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hBPY/W8Kysih6ZNpD5UEGhawXQWENTX2RQ8D89kD4m++gHNcJfTYLBQE1YZrp0p3Dfxs1Z7rMHFv5txeqo6fBw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:09:11.803366Z","signed_message":"canonical_sha256_bytes"},"source_id":"1601.06098","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6cf524e42205f2708c1938ef2679711d78fcc1dbbd99609e4660f79743fbe314","sha256:d3e718dd6074b1d8a01f69bffcdc1a45699533e2d963d9ccc01baafb463318e9"],"state_sha256":"73a80df17c2d94bed167c1a81d0b00d169f9134a815ac10808a795dc1a13ca30"}