{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:L5MPGN3FLKFXZC3O5YNG4EQ2XE","short_pith_number":"pith:L5MPGN3F","schema_version":"1.0","canonical_sha256":"5f58f337655a8b7c8b6eee1a6e121ab906d8fcfd9ae026b71d117e96345ea5aa","source":{"kind":"arxiv","id":"1112.1307","version":1},"attestation_state":"computed","paper":{"title":"The Glueing Construction and Double Categories","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.GN"],"primary_cat":"math.CT","authors_text":"Susan Niefield","submitted_at":"2011-12-06T15:14:50Z","abstract_excerpt":"We introduce Artin-Wraith glueing and locally closed inclusions in double categories. Examples include locales, toposes, topological spaces, categories, and posets. With appropriate assumptions, we show that locally closed inclusions are exponentiable, and the exponentials are constructed via Artin-Wraith glueing. Thus, we obtain a single theorem establishing the exponentiability of locally closed inclusions in these five cases."},"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":"1112.1307","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2011-12-06T15:14:50Z","cross_cats_sorted":["math.GN"],"title_canon_sha256":"11c489b6aed0c58a6ef5502bf125a46ce273df618dfb7e9978574b3500c07cb9","abstract_canon_sha256":"dd70941d0929f3af0a3a4dd55d90b825b7f7e540c52ade45e423f4c1b3d09db0"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:06:55.746431Z","signature_b64":"oTXWGQ3YafTAGfHLrmvkSIdSAmtJLW63aqKp5KJX0ISIb+Q71G+LHjLMKee8/ehz/xDyZoGsUxiODhddrVVDCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5f58f337655a8b7c8b6eee1a6e121ab906d8fcfd9ae026b71d117e96345ea5aa","last_reissued_at":"2026-05-18T04:06:55.745577Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:06:55.745577Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The Glueing Construction and Double Categories","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.GN"],"primary_cat":"math.CT","authors_text":"Susan Niefield","submitted_at":"2011-12-06T15:14:50Z","abstract_excerpt":"We introduce Artin-Wraith glueing and locally closed inclusions in double categories. Examples include locales, toposes, topological spaces, categories, and posets. With appropriate assumptions, we show that locally closed inclusions are exponentiable, and the exponentials are constructed via Artin-Wraith glueing. Thus, we obtain a single theorem establishing the exponentiability of locally closed inclusions in these five cases."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1112.1307","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":""},"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":"1112.1307","created_at":"2026-05-18T04:06:55.745743+00:00"},{"alias_kind":"arxiv_version","alias_value":"1112.1307v1","created_at":"2026-05-18T04:06:55.745743+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1112.1307","created_at":"2026-05-18T04:06:55.745743+00:00"},{"alias_kind":"pith_short_12","alias_value":"L5MPGN3FLKFX","created_at":"2026-05-18T12:26:34.985390+00:00"},{"alias_kind":"pith_short_16","alias_value":"L5MPGN3FLKFXZC3O","created_at":"2026-05-18T12:26:34.985390+00:00"},{"alias_kind":"pith_short_8","alias_value":"L5MPGN3F","created_at":"2026-05-18T12:26:34.985390+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2505.08766","citing_title":"Morphisms and comorphisms of sites I -- Double categories of sites","ref_index":8,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/L5MPGN3FLKFXZC3O5YNG4EQ2XE","json":"https://pith.science/pith/L5MPGN3FLKFXZC3O5YNG4EQ2XE.json","graph_json":"https://pith.science/api/pith-number/L5MPGN3FLKFXZC3O5YNG4EQ2XE/graph.json","events_json":"https://pith.science/api/pith-number/L5MPGN3FLKFXZC3O5YNG4EQ2XE/events.json","paper":"https://pith.science/paper/L5MPGN3F"},"agent_actions":{"view_html":"https://pith.science/pith/L5MPGN3FLKFXZC3O5YNG4EQ2XE","download_json":"https://pith.science/pith/L5MPGN3FLKFXZC3O5YNG4EQ2XE.json","view_paper":"https://pith.science/paper/L5MPGN3F","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1112.1307&json=true","fetch_graph":"https://pith.science/api/pith-number/L5MPGN3FLKFXZC3O5YNG4EQ2XE/graph.json","fetch_events":"https://pith.science/api/pith-number/L5MPGN3FLKFXZC3O5YNG4EQ2XE/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/L5MPGN3FLKFXZC3O5YNG4EQ2XE/action/timestamp_anchor","attest_storage":"https://pith.science/pith/L5MPGN3FLKFXZC3O5YNG4EQ2XE/action/storage_attestation","attest_author":"https://pith.science/pith/L5MPGN3FLKFXZC3O5YNG4EQ2XE/action/author_attestation","sign_citation":"https://pith.science/pith/L5MPGN3FLKFXZC3O5YNG4EQ2XE/action/citation_signature","submit_replication":"https://pith.science/pith/L5MPGN3FLKFXZC3O5YNG4EQ2XE/action/replication_record"}},"created_at":"2026-05-18T04:06:55.745743+00:00","updated_at":"2026-05-18T04:06:55.745743+00:00"}