{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:P6ROJXRDXISXBORZSC5BDDLP24","short_pith_number":"pith:P6ROJXRD","schema_version":"1.0","canonical_sha256":"7fa2e4de23ba2570ba3990ba118d6fd7384be2e104dd124c113a62fea52ef873","source":{"kind":"arxiv","id":"2607.06823","version":1},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2607.06823","created_at":"2026-07-09T00:19:29.682663+00:00"},{"alias_kind":"arxiv_version","alias_value":"2607.06823v1","created_at":"2026-07-09T00:19:29.682663+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.06823","created_at":"2026-07-09T00:19:29.682663+00:00"},{"alias_kind":"pith_short_12","alias_value":"P6ROJXRDXISX","created_at":"2026-07-09T00:19:29.682663+00:00"},{"alias_kind":"pith_short_16","alias_value":"P6ROJXRDXISXBORZ","created_at":"2026-07-09T00:19:29.682663+00:00"},{"alias_kind":"pith_short_8","alias_value":"P6ROJXRD","created_at":"2026-07-09T00:19:29.682663+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/P6ROJXRDXISXBORZSC5BDDLP24","json":"https://pith.science/pith/P6ROJXRDXISXBORZSC5BDDLP24.json","graph_json":"https://pith.science/api/pith-number/P6ROJXRDXISXBORZSC5BDDLP24/graph.json","events_json":"https://pith.science/api/pith-number/P6ROJXRDXISXBORZSC5BDDLP24/events.json","paper":"https://pith.science/paper/P6ROJXRD"},"agent_actions":{"view_html":"https://pith.science/pith/P6ROJXRDXISXBORZSC5BDDLP24","download_json":"https://pith.science/pith/P6ROJXRDXISXBORZSC5BDDLP24.json","view_paper":"https://pith.science/paper/P6ROJXRD","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2607.06823&json=true","fetch_graph":"https://pith.science/api/pith-number/P6ROJXRDXISXBORZSC5BDDLP24/graph.json","fetch_events":"https://pith.science/api/pith-number/P6ROJXRDXISXBORZSC5BDDLP24/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/P6ROJXRDXISXBORZSC5BDDLP24/action/timestamp_anchor","attest_storage":"https://pith.science/pith/P6ROJXRDXISXBORZSC5BDDLP24/action/storage_attestation","attest_author":"https://pith.science/pith/P6ROJXRDXISXBORZSC5BDDLP24/action/author_attestation","sign_citation":"https://pith.science/pith/P6ROJXRDXISXBORZSC5BDDLP24/action/citation_signature","submit_replication":"https://pith.science/pith/P6ROJXRDXISXBORZSC5BDDLP24/action/replication_record"}},"created_at":"2026-07-09T00:19:29.682663+00:00","updated_at":"2026-07-09T00:19:29.682663+00:00"}