{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:GAZSWG4TMQMKAA2ISNYMI3VXYC","short_pith_number":"pith:GAZSWG4T","canonical_record":{"source":{"id":"2505.08766","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2025-05-13T17:35:42Z","cross_cats_sorted":[],"title_canon_sha256":"60a013983a872b0ba9f7738f71fde2b57c05ed457ca4efe57759cc6f17f40a66","abstract_canon_sha256":"e97df170ff10d678e8392843e0751e40e932b5c3550bc58481d9bd1ef86ebf65"},"schema_version":"1.0"},"canonical_sha256":"30332b1b936418a003489370c46eb7c086701f86c55b0f84e251a426fa71df8d","source":{"kind":"arxiv","id":"2505.08766","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.08766","created_at":"2026-07-05T11:02:36Z"},{"alias_kind":"arxiv_version","alias_value":"2505.08766v1","created_at":"2026-07-05T11:02:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.08766","created_at":"2026-07-05T11:02:36Z"},{"alias_kind":"pith_short_12","alias_value":"GAZSWG4TMQMK","created_at":"2026-07-05T11:02:36Z"},{"alias_kind":"pith_short_16","alias_value":"GAZSWG4TMQMKAA2I","created_at":"2026-07-05T11:02:36Z"},{"alias_kind":"pith_short_8","alias_value":"GAZSWG4T","created_at":"2026-07-05T11:02:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:GAZSWG4TMQMKAA2ISNYMI3VXYC","target":"record","payload":{"canonical_record":{"source":{"id":"2505.08766","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2025-05-13T17:35:42Z","cross_cats_sorted":[],"title_canon_sha256":"60a013983a872b0ba9f7738f71fde2b57c05ed457ca4efe57759cc6f17f40a66","abstract_canon_sha256":"e97df170ff10d678e8392843e0751e40e932b5c3550bc58481d9bd1ef86ebf65"},"schema_version":"1.0"},"canonical_sha256":"30332b1b936418a003489370c46eb7c086701f86c55b0f84e251a426fa71df8d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:02:36.202485Z","signature_b64":"xhZOdUN/KZtGYYPr87uo61h2C92pkI6RXuO1aDcCjctaAMggyF5P6JDdjAzcgNrxZSWX995dxnrDBdcelGG+Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"30332b1b936418a003489370c46eb7c086701f86c55b0f84e251a426fa71df8d","last_reissued_at":"2026-07-05T11:02:36.201971Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:02:36.201971Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.08766","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-07-05T11:02:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NOtByKjBOBJXn3R1TH1nilwkoBXC7qhs98SwZ2dUrK4OHKVR7v050XEA+USf+GbnPuvp3INL4xcEm+lnMLg9BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T09:11:51.952222Z"},"content_sha256":"01a6c495e986c9386f00284151f74c590814e6c6050f873de8ac1c1a44ee18a7","schema_version":"1.0","event_id":"sha256:01a6c495e986c9386f00284151f74c590814e6c6050f873de8ac1c1a44ee18a7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:GAZSWG4TMQMKAA2ISNYMI3VXYC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Morphisms and comorphisms of sites I -- Double categories of sites","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"Axel Osmond, Olivia Caramello","submitted_at":"2025-05-13T17:35:42Z","abstract_excerpt":"We arrange morphisms and comorphisms of sites as the horizontal and vertical cells of a double category of sites; using the formalism of extensions and restrictions of presheaves, we explains how one can define a sheafification double functor from this double category to the quintet double category of Grothendieck topoi. We describe properties of this double functor and recover some classical results of topos theory through a new notion of locally exact square, generalizing exact squares in the presence of topologies. We also describe a 2-comonad on $\\Cat$ for which lax morphisms of coalgebras"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.08766","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/2505.08766/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-07-05T11:02:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DRhlmAgK1OLYxicWXeNXJ1taejoQF6bKM9ZVNAqYHqKbZnQFnD16jp9eQ1yCVu+ozRMBi89QPw58zUKiiFM0Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T09:11:51.952772Z"},"content_sha256":"8fffe52160878c780a0cc367dbb4ab589b3cd009b0345baea736054ce92112a6","schema_version":"1.0","event_id":"sha256:8fffe52160878c780a0cc367dbb4ab589b3cd009b0345baea736054ce92112a6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GAZSWG4TMQMKAA2ISNYMI3VXYC/bundle.json","state_url":"https://pith.science/pith/GAZSWG4TMQMKAA2ISNYMI3VXYC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GAZSWG4TMQMKAA2ISNYMI3VXYC/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-09T09:11:51Z","links":{"resolver":"https://pith.science/pith/GAZSWG4TMQMKAA2ISNYMI3VXYC","bundle":"https://pith.science/pith/GAZSWG4TMQMKAA2ISNYMI3VXYC/bundle.json","state":"https://pith.science/pith/GAZSWG4TMQMKAA2ISNYMI3VXYC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GAZSWG4TMQMKAA2ISNYMI3VXYC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:GAZSWG4TMQMKAA2ISNYMI3VXYC","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":"e97df170ff10d678e8392843e0751e40e932b5c3550bc58481d9bd1ef86ebf65","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2025-05-13T17:35:42Z","title_canon_sha256":"60a013983a872b0ba9f7738f71fde2b57c05ed457ca4efe57759cc6f17f40a66"},"schema_version":"1.0","source":{"id":"2505.08766","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.08766","created_at":"2026-07-05T11:02:36Z"},{"alias_kind":"arxiv_version","alias_value":"2505.08766v1","created_at":"2026-07-05T11:02:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.08766","created_at":"2026-07-05T11:02:36Z"},{"alias_kind":"pith_short_12","alias_value":"GAZSWG4TMQMK","created_at":"2026-07-05T11:02:36Z"},{"alias_kind":"pith_short_16","alias_value":"GAZSWG4TMQMKAA2I","created_at":"2026-07-05T11:02:36Z"},{"alias_kind":"pith_short_8","alias_value":"GAZSWG4T","created_at":"2026-07-05T11:02:36Z"}],"graph_snapshots":[{"event_id":"sha256:8fffe52160878c780a0cc367dbb4ab589b3cd009b0345baea736054ce92112a6","target":"graph","created_at":"2026-07-05T11:02:36Z","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/2505.08766/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We arrange morphisms and comorphisms of sites as the horizontal and vertical cells of a double category of sites; using the formalism of extensions and restrictions of presheaves, we explains how one can define a sheafification double functor from this double category to the quintet double category of Grothendieck topoi. We describe properties of this double functor and recover some classical results of topos theory through a new notion of locally exact square, generalizing exact squares in the presence of topologies. We also describe a 2-comonad on $\\Cat$ for which lax morphisms of coalgebras","authors_text":"Axel Osmond, Olivia Caramello","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2025-05-13T17:35:42Z","title":"Morphisms and comorphisms of sites I -- Double categories of sites"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.08766","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:01a6c495e986c9386f00284151f74c590814e6c6050f873de8ac1c1a44ee18a7","target":"record","created_at":"2026-07-05T11:02:36Z","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":"e97df170ff10d678e8392843e0751e40e932b5c3550bc58481d9bd1ef86ebf65","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2025-05-13T17:35:42Z","title_canon_sha256":"60a013983a872b0ba9f7738f71fde2b57c05ed457ca4efe57759cc6f17f40a66"},"schema_version":"1.0","source":{"id":"2505.08766","kind":"arxiv","version":1}},"canonical_sha256":"30332b1b936418a003489370c46eb7c086701f86c55b0f84e251a426fa71df8d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"30332b1b936418a003489370c46eb7c086701f86c55b0f84e251a426fa71df8d","first_computed_at":"2026-07-05T11:02:36.201971Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:02:36.201971Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xhZOdUN/KZtGYYPr87uo61h2C92pkI6RXuO1aDcCjctaAMggyF5P6JDdjAzcgNrxZSWX995dxnrDBdcelGG+Cw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:02:36.202485Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.08766","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:01a6c495e986c9386f00284151f74c590814e6c6050f873de8ac1c1a44ee18a7","sha256:8fffe52160878c780a0cc367dbb4ab589b3cd009b0345baea736054ce92112a6"],"state_sha256":"d820dd4657357b56df1f84e0004b3cb51ab9b4a901d18ef110e53f4e49642b23"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ut5bu0IoIuxA0PHIDZYjNkWq4GPnlNVUi4gGR7uwlmgsfaxECWr1PNvHFz0LJx+WPvgUUzaNYBDIj2FMntj9Bg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T09:11:51.959544Z","bundle_sha256":"781a3a0cddf1f07bcbe640151bb662a9163ff1743c1cce566607ceca488e9a86"}}