{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:2KNFKHPASPD7YCQI47M4Z5Q2WK","short_pith_number":"pith:2KNFKHPA","schema_version":"1.0","canonical_sha256":"d29a551de093c7fc0a08e7d9ccf61ab286a201ab238196756b9c29aaabbb2035","source":{"kind":"arxiv","id":"2605.20407","version":1},"attestation_state":"computed","paper":{"title":"Generic bundles over a localic category","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.GN","math.LO"],"primary_cat":"math.CT","authors_text":"Graham Manuell, Joshua L. Wrigley","submitted_at":"2026-05-19T19:03:46Z","abstract_excerpt":"In this paper we construct classifying localic categories and groupoids for various bundles equipped with logical structure. When these bundles are local homeomorphisms, we recover the localic groupoids that classify geometric theories, demonstrating that these groupoids satisfy a stronger universal property than that of their corresponding classifying toposes. We also prove a dual result that there exist classifying localic categories and groupoids for proper separated bundles satisfying a dual geometric theory. Thus, localic groupoids classify strictly more kinds of logical theories than top"},"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":"2605.20407","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2026-05-19T19:03:46Z","cross_cats_sorted":["math.GN","math.LO"],"title_canon_sha256":"2450f5023692305718b19f141d51312072844f65e019b26c7091581e479ba23a","abstract_canon_sha256":"ffea3ea87a1cbc76d036c304689d954aadff68d0f9dba1b4df2e68489773999c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-21T01:04:36.810671Z","signature_b64":"QYNR5A1N0tNnnLCIZNRIm4ZrJ+mxxk5fIDXkXtq5QzWPmQE5anHn6tHceFMkOYYbqVwi/4RBxHU1B75zzg3RAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d29a551de093c7fc0a08e7d9ccf61ab286a201ab238196756b9c29aaabbb2035","last_reissued_at":"2026-05-21T01:04:36.809975Z","signature_status":"signed_v1","first_computed_at":"2026-05-21T01:04:36.809975Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Generic bundles over a localic category","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.GN","math.LO"],"primary_cat":"math.CT","authors_text":"Graham Manuell, Joshua L. Wrigley","submitted_at":"2026-05-19T19:03:46Z","abstract_excerpt":"In this paper we construct classifying localic categories and groupoids for various bundles equipped with logical structure. When these bundles are local homeomorphisms, we recover the localic groupoids that classify geometric theories, demonstrating that these groupoids satisfy a stronger universal property than that of their corresponding classifying toposes. We also prove a dual result that there exist classifying localic categories and groupoids for proper separated bundles satisfying a dual geometric theory. Thus, localic groupoids classify strictly more kinds of logical theories than top"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.20407","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/2605.20407/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":"2605.20407","created_at":"2026-05-21T01:04:36.810066+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.20407v1","created_at":"2026-05-21T01:04:36.810066+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.20407","created_at":"2026-05-21T01:04:36.810066+00:00"},{"alias_kind":"pith_short_12","alias_value":"2KNFKHPASPD7","created_at":"2026-05-21T01:04:36.810066+00:00"},{"alias_kind":"pith_short_16","alias_value":"2KNFKHPASPD7YCQI","created_at":"2026-05-21T01:04:36.810066+00:00"},{"alias_kind":"pith_short_8","alias_value":"2KNFKHPA","created_at":"2026-05-21T01:04:36.810066+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/2KNFKHPASPD7YCQI47M4Z5Q2WK","json":"https://pith.science/pith/2KNFKHPASPD7YCQI47M4Z5Q2WK.json","graph_json":"https://pith.science/api/pith-number/2KNFKHPASPD7YCQI47M4Z5Q2WK/graph.json","events_json":"https://pith.science/api/pith-number/2KNFKHPASPD7YCQI47M4Z5Q2WK/events.json","paper":"https://pith.science/paper/2KNFKHPA"},"agent_actions":{"view_html":"https://pith.science/pith/2KNFKHPASPD7YCQI47M4Z5Q2WK","download_json":"https://pith.science/pith/2KNFKHPASPD7YCQI47M4Z5Q2WK.json","view_paper":"https://pith.science/paper/2KNFKHPA","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.20407&json=true","fetch_graph":"https://pith.science/api/pith-number/2KNFKHPASPD7YCQI47M4Z5Q2WK/graph.json","fetch_events":"https://pith.science/api/pith-number/2KNFKHPASPD7YCQI47M4Z5Q2WK/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/2KNFKHPASPD7YCQI47M4Z5Q2WK/action/timestamp_anchor","attest_storage":"https://pith.science/pith/2KNFKHPASPD7YCQI47M4Z5Q2WK/action/storage_attestation","attest_author":"https://pith.science/pith/2KNFKHPASPD7YCQI47M4Z5Q2WK/action/author_attestation","sign_citation":"https://pith.science/pith/2KNFKHPASPD7YCQI47M4Z5Q2WK/action/citation_signature","submit_replication":"https://pith.science/pith/2KNFKHPASPD7YCQI47M4Z5Q2WK/action/replication_record"}},"created_at":"2026-05-21T01:04:36.810066+00:00","updated_at":"2026-05-21T01:04:36.810066+00:00"}