{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:P6ROJXRDXISXBORZSC5BDDLP24","short_pith_number":"pith:P6ROJXRD","canonical_record":{"source":{"id":"2607.06823","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2026-07-07T21:39:36Z","cross_cats_sorted":[],"title_canon_sha256":"8f8730223100e57598d744d64c208dd2c1fc8aa8130c169d49f07b03895428bc","abstract_canon_sha256":"c568169b539b8ce080ac677a61a9b132b4ba04ff7f94baf40f59b08aae18f884"},"schema_version":"1.0"},"canonical_sha256":"7fa2e4de23ba2570ba3990ba118d6fd7384be2e104dd124c113a62fea52ef873","source":{"kind":"arxiv","id":"2607.06823","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.06823","created_at":"2026-07-09T00:19:29Z"},{"alias_kind":"arxiv_version","alias_value":"2607.06823v1","created_at":"2026-07-09T00:19:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.06823","created_at":"2026-07-09T00:19:29Z"},{"alias_kind":"pith_short_12","alias_value":"P6ROJXRDXISX","created_at":"2026-07-09T00:19:29Z"},{"alias_kind":"pith_short_16","alias_value":"P6ROJXRDXISXBORZ","created_at":"2026-07-09T00:19:29Z"},{"alias_kind":"pith_short_8","alias_value":"P6ROJXRD","created_at":"2026-07-09T00:19:29Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:P6ROJXRDXISXBORZSC5BDDLP24","target":"record","payload":{"canonical_record":{"source":{"id":"2607.06823","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2026-07-07T21:39:36Z","cross_cats_sorted":[],"title_canon_sha256":"8f8730223100e57598d744d64c208dd2c1fc8aa8130c169d49f07b03895428bc","abstract_canon_sha256":"c568169b539b8ce080ac677a61a9b132b4ba04ff7f94baf40f59b08aae18f884"},"schema_version":"1.0"},"canonical_sha256":"7fa2e4de23ba2570ba3990ba118d6fd7384be2e104dd124c113a62fea52ef873","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-09T00:19:29.683440Z","signature_b64":"5Hrxjzw+sBy42V2bqLXQ9vtOIcJaTy/ZnnMOY7VUlIFhn9XKUi/Iqd040mUSOnNKk+m8w0SdCWkxY7pq1bZXCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7fa2e4de23ba2570ba3990ba118d6fd7384be2e104dd124c113a62fea52ef873","last_reissued_at":"2026-07-09T00:19:29.682500Z","signature_status":"signed_v1","first_computed_at":"2026-07-09T00:19:29.682500Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.06823","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-09T00:19:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KlmkFVfs+bBxd9v6IwbRiawkkXkLSffOzMkdr2t2n9/Nh0UhSiNI1RukOD5xxffsmJI1ooCtoTQJHBK1thSRCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T03:32:18.637760Z"},"content_sha256":"42295dd050024958a67dfefd3a93e2fc2ff9246299650f3c1c2d4eb60fa8d303","schema_version":"1.0","event_id":"sha256:42295dd050024958a67dfefd3a93e2fc2ff9246299650f3c1c2d4eb60fa8d303"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:P6ROJXRDXISXBORZSC5BDDLP24","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Twisted double functors and loosely discrete opfibrations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"David Jaz Myers, Evan Patterson, Michael Lambert","submitted_at":"2026-07-07T21:39:36Z","abstract_excerpt":"Various situations in the theory and applications of double categories, ranging from a loose Yoneda theory and loose compact closure to double-operadic systems theory, require a notion of double copresheaf in which the action is by loose morphisms rather than tight ones. In this paper, we develop and compare several models for loose copresheaves on double categories. First, we introduce a new notion of morphism between double categories, called twisted double functors, which send tight morphisms to loose morphisms and vice versa, and use these to define twisted copresheaves. We exhibit numerou"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.06823","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/2607.06823/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-09T00:19:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WqSduqfeIdvxbgnd8saLo8KNo0rSw5jUrlizrcKlcHBWl69tmjpqKWpiCLCnBCV+6okZoMZZpWHzLnwK2zGiCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T03:32:18.639060Z"},"content_sha256":"ecf2d1bad37adea80b549a60b95a54ce7cfd6ad0149c1073e62d23ac929de466","schema_version":"1.0","event_id":"sha256:ecf2d1bad37adea80b549a60b95a54ce7cfd6ad0149c1073e62d23ac929de466"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:P6ROJXRDXISXBORZSC5BDDLP24","target":"integrity","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-642-99902-4_2.81) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"1966, pp. 21–83.doi:10.1007/978-3-642-99902- 4_2. 81 [Jac99] Bart Jacobs.Categorical logic and type theory. Elsevier, 1999.doi:10.1016/S0049- 237X(98)80028-1. [Joh02] Peter T. Johnstone.Sketches of an elephant: A topos theory compendium. Ox","arxiv_id":"2607.06823","detector":"doi_compliance","evidence":{"ref_index":3,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"1966, pp. 21–83.doi:10.1007/978-3-642-99902- 4_2. 81 [Jac99] Bart Jacobs.Categorical logic and type theory. Elsevier, 1999.doi:10.1016/S0049- 237X(98)80028-1. [Joh02] Peter T. Johnstone.Sketches of an elephant: A topos theory compendium. Ox","reconstructed_doi":"10.1007/978-3-642-99902-4_2.81"},"severity":"advisory","ref_index":3,"audited_at":"2026-07-10T20:39:32.320334Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/978-3-642-99902-4_2.81","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"4d177eef296aca5d760e6750294a471be48ac9c9d69d6bc8c3e17f44e596159a","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":12048,"payload_sha256":"74bebed708f7204d3289ce6789d3fbdd879a36681b8d0ab392243065d4383663","signature_b64":"Lf8Xfb8fAQffZg8D41seL/iC/LhkTUabVtNCwNloQ9Nib8+jCGAvzV56eqNaGEVkcWRbHcy7QjYy9cXICTZ2DA==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-10T20:39:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SpIruQAsl+MoMYB8dulQfTwt7vDdTIks1ZwWoNmRq/nY6R70zNu+udOxT3DoQoPOGq8Qx8LRNmYkQNTSPEzYDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T03:32:18.645429Z"},"content_sha256":"2779830e1143feb6371402f20bbcfce39422097cf33e2002a55c79ae80adc256","schema_version":"1.0","event_id":"sha256:2779830e1143feb6371402f20bbcfce39422097cf33e2002a55c79ae80adc256"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:P6ROJXRDXISXBORZSC5BDDLP24","target":"integrity","payload":{"note":"DOI '10.1142/11406' as printed in the bibliography is syntactically invalid and cannot resolve.","snippet":"arXiv: 2506.23651. [GP04] Marco Grandis and Robert Paré. “Adjoint for double categories”.Cahiers de topologie et géométrie différentielle catégoriques45.3 (2004), pp. 193–240. [Gra19] Marco Grandis.Higher dimensional categories: From double","arxiv_id":"2607.06823","detector":"doi_compliance","evidence":{"ref_index":2,"raw_excerpt":"arXiv: 2506.23651. [GP04] Marco Grandis and Robert Paré. “Adjoint for double categories”.Cahiers de topologie et géométrie différentielle catégoriques45.3 (2004), pp. 193–240. [Gra19] Marco Grandis.Higher dimensional categories: From double to multiple categories. World Scientific, 2019.doi:10.1142/11406. [Gra66] John W. Gray. “Fibred and cofibred categories”.Proceedings of the Conference on Categ","verdict_class":"incontrovertible","doi_as_printed":"10.1142/11406"},"severity":"critical","ref_index":2,"audited_at":"2026-07-10T20:39:32.320334Z","event_type":"pith.integrity.v1","detected_doi":"10.1142/11406","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"broken_identifier","evidence_hash":"f254b20988d2a1e5c3b06cc10e8d5c638c96dee8017a082490141b0497b235c3","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":12047,"payload_sha256":"c3db084eea251852691b90cdadf34dde3bd851a34307ff2c40057ea8bb8ea6b7","signature_b64":"jT076w2UeAfTgb7BPOVjrEsITNHwfefWXkpXjth+qF+x/O/gHBrtjPKQc5hYBjdg+v9LqTlrR7cdxWq1Jy2KDQ==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-10T20:39:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UWWIdOf7iBseYFZKl35uRfXfvyUa1gOKczyMeU9VgUqqGUqLXo5x52o5vtTB/LtAw9bf2LkjisUL6zRaB2ZZAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T03:32:18.646062Z"},"content_sha256":"ca4e1263f8bbdc52659a93272966aa0bf82058c330d1b5b21ea5cb35ab89f035","schema_version":"1.0","event_id":"sha256:ca4e1263f8bbdc52659a93272966aa0bf82058c330d1b5b21ea5cb35ab89f035"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/P6ROJXRDXISXBORZSC5BDDLP24/bundle.json","state_url":"https://pith.science/pith/P6ROJXRDXISXBORZSC5BDDLP24/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/P6ROJXRDXISXBORZSC5BDDLP24/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-07T03:32:18Z","links":{"resolver":"https://pith.science/pith/P6ROJXRDXISXBORZSC5BDDLP24","bundle":"https://pith.science/pith/P6ROJXRDXISXBORZSC5BDDLP24/bundle.json","state":"https://pith.science/pith/P6ROJXRDXISXBORZSC5BDDLP24/state.json","well_known_bundle":"https://pith.science/.well-known/pith/P6ROJXRDXISXBORZSC5BDDLP24/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:P6ROJXRDXISXBORZSC5BDDLP24","merge_version":"pith-open-graph-merge-v1","event_count":4,"valid_event_count":4,"invalid_event_count":0,"equivocation_count":1,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"c568169b539b8ce080ac677a61a9b132b4ba04ff7f94baf40f59b08aae18f884","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2026-07-07T21:39:36Z","title_canon_sha256":"8f8730223100e57598d744d64c208dd2c1fc8aa8130c169d49f07b03895428bc"},"schema_version":"1.0","source":{"id":"2607.06823","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.06823","created_at":"2026-07-09T00:19:29Z"},{"alias_kind":"arxiv_version","alias_value":"2607.06823v1","created_at":"2026-07-09T00:19:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.06823","created_at":"2026-07-09T00:19:29Z"},{"alias_kind":"pith_short_12","alias_value":"P6ROJXRDXISX","created_at":"2026-07-09T00:19:29Z"},{"alias_kind":"pith_short_16","alias_value":"P6ROJXRDXISXBORZ","created_at":"2026-07-09T00:19:29Z"},{"alias_kind":"pith_short_8","alias_value":"P6ROJXRD","created_at":"2026-07-09T00:19:29Z"}],"graph_snapshots":[{"event_id":"sha256:ecf2d1bad37adea80b549a60b95a54ce7cfd6ad0149c1073e62d23ac929de466","target":"graph","created_at":"2026-07-09T00:19:29Z","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/2607.06823/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Various situations in the theory and applications of double categories, ranging from a loose Yoneda theory and loose compact closure to double-operadic systems theory, require a notion of double copresheaf in which the action is by loose morphisms rather than tight ones. In this paper, we develop and compare several models for loose copresheaves on double categories. First, we introduce a new notion of morphism between double categories, called twisted double functors, which send tight morphisms to loose morphisms and vice versa, and use these to define twisted copresheaves. We exhibit numerou","authors_text":"David Jaz Myers, Evan Patterson, Michael Lambert","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2026-07-07T21:39:36Z","title":"Twisted double functors and loosely discrete opfibrations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.06823","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:42295dd050024958a67dfefd3a93e2fc2ff9246299650f3c1c2d4eb60fa8d303","target":"record","created_at":"2026-07-09T00:19:29Z","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":"c568169b539b8ce080ac677a61a9b132b4ba04ff7f94baf40f59b08aae18f884","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2026-07-07T21:39:36Z","title_canon_sha256":"8f8730223100e57598d744d64c208dd2c1fc8aa8130c169d49f07b03895428bc"},"schema_version":"1.0","source":{"id":"2607.06823","kind":"arxiv","version":1}},"canonical_sha256":"7fa2e4de23ba2570ba3990ba118d6fd7384be2e104dd124c113a62fea52ef873","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7fa2e4de23ba2570ba3990ba118d6fd7384be2e104dd124c113a62fea52ef873","first_computed_at":"2026-07-09T00:19:29.682500Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-09T00:19:29.682500Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5Hrxjzw+sBy42V2bqLXQ9vtOIcJaTy/ZnnMOY7VUlIFhn9XKUi/Iqd040mUSOnNKk+m8w0SdCWkxY7pq1bZXCQ==","signature_status":"signed_v1","signed_at":"2026-07-09T00:19:29.683440Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.06823","source_kind":"arxiv","source_version":1}}},"equivocations":[{"signer_id":"pith.science","event_type":"integrity_finding","target":"integrity","event_ids":["sha256:2779830e1143feb6371402f20bbcfce39422097cf33e2002a55c79ae80adc256","sha256:ca4e1263f8bbdc52659a93272966aa0bf82058c330d1b5b21ea5cb35ab89f035"]}],"invalid_events":[],"applied_event_ids":["sha256:42295dd050024958a67dfefd3a93e2fc2ff9246299650f3c1c2d4eb60fa8d303","sha256:ecf2d1bad37adea80b549a60b95a54ce7cfd6ad0149c1073e62d23ac929de466"],"state_sha256":"fb8f7808536ee2892a06da9dd405241c8ca100ed4c853ac3a999e6ab47876721"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1NCiHaRY4lGbLe+WcNLCEMox3fdTV4+dGDanxeWOVgMggDV8FF45aZP0Iw+yYR9Ui6dPwEh2566ja7dn8WQhDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T03:32:18.649991Z","bundle_sha256":"4b99404e3197b752ecf94b3f50e34c45ce96a25842bf6d6d1746de1bf2ff5485"}}