{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:XL6EUYIPFJAK5SZLIEXLGXN5BB","short_pith_number":"pith:XL6EUYIP","canonical_record":{"source":{"id":"1211.6170","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2012-11-27T00:48:59Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"dd3042024a200dc9d62e4d17b2fa2bebfb279a906b7e81e6ffabcef5fd5b1a61","abstract_canon_sha256":"568501c014c5903daadd3c6a4bd904b2fb579b94e0236142191306b6dac3ddc9"},"schema_version":"1.0"},"canonical_sha256":"bafc4a610f2a40aecb2b412eb35dbd087a4476cce85d72bfadc3972ba869a78a","source":{"kind":"arxiv","id":"1211.6170","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1211.6170","created_at":"2026-05-18T03:39:52Z"},{"alias_kind":"arxiv_version","alias_value":"1211.6170v1","created_at":"2026-05-18T03:39:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1211.6170","created_at":"2026-05-18T03:39:52Z"},{"alias_kind":"pith_short_12","alias_value":"XL6EUYIPFJAK","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_16","alias_value":"XL6EUYIPFJAK5SZL","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_8","alias_value":"XL6EUYIP","created_at":"2026-05-18T12:27:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:XL6EUYIPFJAK5SZLIEXLGXN5BB","target":"record","payload":{"canonical_record":{"source":{"id":"1211.6170","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2012-11-27T00:48:59Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"dd3042024a200dc9d62e4d17b2fa2bebfb279a906b7e81e6ffabcef5fd5b1a61","abstract_canon_sha256":"568501c014c5903daadd3c6a4bd904b2fb579b94e0236142191306b6dac3ddc9"},"schema_version":"1.0"},"canonical_sha256":"bafc4a610f2a40aecb2b412eb35dbd087a4476cce85d72bfadc3972ba869a78a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:39:52.390185Z","signature_b64":"RpOW92cHWMuYNlTvpI56efts4WE0gFmICJWnO9nCYuxzb9uujZEEum8z9ujiwnJYeIuBgotPvF4AftFcnPvzAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bafc4a610f2a40aecb2b412eb35dbd087a4476cce85d72bfadc3972ba869a78a","last_reissued_at":"2026-05-18T03:39:52.389549Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:39:52.389549Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1211.6170","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-05-18T03:39:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"V/n7xqXfs2qG6ThTWLsWewMrtQR09B3gl4UwcJ2wJph4U0w7vMN4jzdWcNxGr7bY0+UGDIwB/tOv8OGl8iRfCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T17:15:48.089720Z"},"content_sha256":"44ddf5ab5f2eda6bc2ef0555f9a028a901cd53e016589deb18ddbdc644b82a84","schema_version":"1.0","event_id":"sha256:44ddf5ab5f2eda6bc2ef0555f9a028a901cd53e016589deb18ddbdc644b82a84"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:XL6EUYIPFJAK5SZLIEXLGXN5BB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Restriction categories as enriched categories","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.CT","authors_text":"Richard Garner, Robin Cockett","submitted_at":"2012-11-27T00:48:59Z","abstract_excerpt":"Restriction categories were introduced to provide an axiomatic setting for the study of partially defined mappings; they are categories equipped with an operation called restriction which assigns to every morphism an endomorphism of its domain, to be thought of as the partial identity that is defined to just the same degree as the original map. In this paper, we show that restriction categories can be identified with \\emph{enriched categories} in the sense of Kelly for a suitable enrichment base. By varying that base appropriately, we are also able to capture the notions of join and range rest"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1211.6170","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"},"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-05-18T03:39:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FNIDFW3bxIVYWAArQPQwnrYvGgHw+U1RK8F5Wuf9FJZ9D8YY4zmeDwcHNPCvJSRxRdJUfODgX3D0DXKONHyKDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T17:15:48.090062Z"},"content_sha256":"9771a6cdd9097ede8cd79f7b93d5a53fbdfd92e9e4fe46cf19965740df5af62a","schema_version":"1.0","event_id":"sha256:9771a6cdd9097ede8cd79f7b93d5a53fbdfd92e9e4fe46cf19965740df5af62a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XL6EUYIPFJAK5SZLIEXLGXN5BB/bundle.json","state_url":"https://pith.science/pith/XL6EUYIPFJAK5SZLIEXLGXN5BB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XL6EUYIPFJAK5SZLIEXLGXN5BB/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-06-23T17:15:48Z","links":{"resolver":"https://pith.science/pith/XL6EUYIPFJAK5SZLIEXLGXN5BB","bundle":"https://pith.science/pith/XL6EUYIPFJAK5SZLIEXLGXN5BB/bundle.json","state":"https://pith.science/pith/XL6EUYIPFJAK5SZLIEXLGXN5BB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XL6EUYIPFJAK5SZLIEXLGXN5BB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:XL6EUYIPFJAK5SZLIEXLGXN5BB","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":"568501c014c5903daadd3c6a4bd904b2fb579b94e0236142191306b6dac3ddc9","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2012-11-27T00:48:59Z","title_canon_sha256":"dd3042024a200dc9d62e4d17b2fa2bebfb279a906b7e81e6ffabcef5fd5b1a61"},"schema_version":"1.0","source":{"id":"1211.6170","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1211.6170","created_at":"2026-05-18T03:39:52Z"},{"alias_kind":"arxiv_version","alias_value":"1211.6170v1","created_at":"2026-05-18T03:39:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1211.6170","created_at":"2026-05-18T03:39:52Z"},{"alias_kind":"pith_short_12","alias_value":"XL6EUYIPFJAK","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_16","alias_value":"XL6EUYIPFJAK5SZL","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_8","alias_value":"XL6EUYIP","created_at":"2026-05-18T12:27:27Z"}],"graph_snapshots":[{"event_id":"sha256:9771a6cdd9097ede8cd79f7b93d5a53fbdfd92e9e4fe46cf19965740df5af62a","target":"graph","created_at":"2026-05-18T03:39:52Z","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"},"paper":{"abstract_excerpt":"Restriction categories were introduced to provide an axiomatic setting for the study of partially defined mappings; they are categories equipped with an operation called restriction which assigns to every morphism an endomorphism of its domain, to be thought of as the partial identity that is defined to just the same degree as the original map. In this paper, we show that restriction categories can be identified with \\emph{enriched categories} in the sense of Kelly for a suitable enrichment base. By varying that base appropriately, we are also able to capture the notions of join and range rest","authors_text":"Richard Garner, Robin Cockett","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2012-11-27T00:48:59Z","title":"Restriction categories as enriched categories"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1211.6170","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:44ddf5ab5f2eda6bc2ef0555f9a028a901cd53e016589deb18ddbdc644b82a84","target":"record","created_at":"2026-05-18T03:39:52Z","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":"568501c014c5903daadd3c6a4bd904b2fb579b94e0236142191306b6dac3ddc9","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2012-11-27T00:48:59Z","title_canon_sha256":"dd3042024a200dc9d62e4d17b2fa2bebfb279a906b7e81e6ffabcef5fd5b1a61"},"schema_version":"1.0","source":{"id":"1211.6170","kind":"arxiv","version":1}},"canonical_sha256":"bafc4a610f2a40aecb2b412eb35dbd087a4476cce85d72bfadc3972ba869a78a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bafc4a610f2a40aecb2b412eb35dbd087a4476cce85d72bfadc3972ba869a78a","first_computed_at":"2026-05-18T03:39:52.389549Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:39:52.389549Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RpOW92cHWMuYNlTvpI56efts4WE0gFmICJWnO9nCYuxzb9uujZEEum8z9ujiwnJYeIuBgotPvF4AftFcnPvzAg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:39:52.390185Z","signed_message":"canonical_sha256_bytes"},"source_id":"1211.6170","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:44ddf5ab5f2eda6bc2ef0555f9a028a901cd53e016589deb18ddbdc644b82a84","sha256:9771a6cdd9097ede8cd79f7b93d5a53fbdfd92e9e4fe46cf19965740df5af62a"],"state_sha256":"86bcb31e661a3b3e9ee167fa7c40e3f4efa32782cbf335e9922dffb4c5da5604"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Hx4/i2y4/1fAq/2V8C9ZFD7Jrtp2D1TBR8YKmaMAtx3dLEe2SWFC3pZj3pxNtXIdhlCN32pbR6tOuBfXY7Z2Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T17:15:48.092089Z","bundle_sha256":"afa718e14cfeebf0e5f3663976c587bd3692c0359a7970b6267d0a305c435519"}}