{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:DFA5OM4VNS5XAQWR55WTO2IYHW","short_pith_number":"pith:DFA5OM4V","canonical_record":{"source":{"id":"1507.08615","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2015-07-30T18:25:22Z","cross_cats_sorted":["math.CT"],"title_canon_sha256":"003247b5ca36cfbd291c6a3a1719f19d5d3d522271d87fe7c4b8cc881f54eace","abstract_canon_sha256":"bb3fff4366c830c81c157e33c62e314fc7049c0a278553e5699f256fba1ba643"},"schema_version":"1.0"},"canonical_sha256":"1941d733956cbb7042d1ef6d3769183daedbca89b6e2dc415ebd78d967e3fb1b","source":{"kind":"arxiv","id":"1507.08615","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.08615","created_at":"2026-05-18T00:31:31Z"},{"alias_kind":"arxiv_version","alias_value":"1507.08615v2","created_at":"2026-05-18T00:31:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.08615","created_at":"2026-05-18T00:31:31Z"},{"alias_kind":"pith_short_12","alias_value":"DFA5OM4VNS5X","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_16","alias_value":"DFA5OM4VNS5XAQWR","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_8","alias_value":"DFA5OM4V","created_at":"2026-05-18T12:29:17Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:DFA5OM4VNS5XAQWR55WTO2IYHW","target":"record","payload":{"canonical_record":{"source":{"id":"1507.08615","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2015-07-30T18:25:22Z","cross_cats_sorted":["math.CT"],"title_canon_sha256":"003247b5ca36cfbd291c6a3a1719f19d5d3d522271d87fe7c4b8cc881f54eace","abstract_canon_sha256":"bb3fff4366c830c81c157e33c62e314fc7049c0a278553e5699f256fba1ba643"},"schema_version":"1.0"},"canonical_sha256":"1941d733956cbb7042d1ef6d3769183daedbca89b6e2dc415ebd78d967e3fb1b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:31:31.820060Z","signature_b64":"SjTJIoytM7Sg4ZeNvJk/5ovI4aCCdaJNre67oQqCe71OGRbm6e2CUMR5V1E9KgHETJzH8PuM555vbRCIqu/lAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1941d733956cbb7042d1ef6d3769183daedbca89b6e2dc415ebd78d967e3fb1b","last_reissued_at":"2026-05-18T00:31:31.819438Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:31:31.819438Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1507.08615","source_version":2,"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-18T00:31:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DlA4OnjenZoHWQ/aw6W3YX4hm0vxRlsVXPJrAewO/A0/6fw8ooEzkYVjx8CuNgk2yVRhC3xrYtIU/+aiEZrCBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T22:41:29.404303Z"},"content_sha256":"98e36e69b2ab4be1a01b7116833253cf74269697a192c8e5d73ab98c427cc7c0","schema_version":"1.0","event_id":"sha256:98e36e69b2ab4be1a01b7116833253cf74269697a192c8e5d73ab98c427cc7c0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:DFA5OM4VNS5XAQWR55WTO2IYHW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Ehresmann-Schein-Nambooripad Theorem for Inverse Categories","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CT"],"primary_cat":"math.RA","authors_text":"Darien DeWolf, Dorette Pronk","submitted_at":"2015-07-30T18:25:22Z","abstract_excerpt":"The Ehresmann-Schein-Nambooripad (ESN) Theorem asserts an equivalence between the category of inverse semigroups and the category of inductive groupoids. In this paper, we consider the category of inverse categories and functors -- a natural generalization of inverse semigroups -- and extend the ESN theorem to an equivalence between this category and the category of top-heavy locally inductive groupoids and locally inductive functors. From the proof of this extension, we also generalize the ESN Theorem to an equivalence between the category of inverse semicategories and the category of locally"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.08615","kind":"arxiv","version":2},"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-18T00:31:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tGj8TdBJ5L+N5KDL8LfcWYWsSr5fApGKxdFTwyjMfS2hTBwMgCMylQ4zx/cY03h/aHXJzwQRwFZmdL8adR2eAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T22:41:29.404982Z"},"content_sha256":"556374371e4b5e0f8c1c690465596e9b6a386ae2489f7ef3d6adabd3e06e24ea","schema_version":"1.0","event_id":"sha256:556374371e4b5e0f8c1c690465596e9b6a386ae2489f7ef3d6adabd3e06e24ea"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DFA5OM4VNS5XAQWR55WTO2IYHW/bundle.json","state_url":"https://pith.science/pith/DFA5OM4VNS5XAQWR55WTO2IYHW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DFA5OM4VNS5XAQWR55WTO2IYHW/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-05T22:41:29Z","links":{"resolver":"https://pith.science/pith/DFA5OM4VNS5XAQWR55WTO2IYHW","bundle":"https://pith.science/pith/DFA5OM4VNS5XAQWR55WTO2IYHW/bundle.json","state":"https://pith.science/pith/DFA5OM4VNS5XAQWR55WTO2IYHW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DFA5OM4VNS5XAQWR55WTO2IYHW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:DFA5OM4VNS5XAQWR55WTO2IYHW","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":"bb3fff4366c830c81c157e33c62e314fc7049c0a278553e5699f256fba1ba643","cross_cats_sorted":["math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2015-07-30T18:25:22Z","title_canon_sha256":"003247b5ca36cfbd291c6a3a1719f19d5d3d522271d87fe7c4b8cc881f54eace"},"schema_version":"1.0","source":{"id":"1507.08615","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.08615","created_at":"2026-05-18T00:31:31Z"},{"alias_kind":"arxiv_version","alias_value":"1507.08615v2","created_at":"2026-05-18T00:31:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.08615","created_at":"2026-05-18T00:31:31Z"},{"alias_kind":"pith_short_12","alias_value":"DFA5OM4VNS5X","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_16","alias_value":"DFA5OM4VNS5XAQWR","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_8","alias_value":"DFA5OM4V","created_at":"2026-05-18T12:29:17Z"}],"graph_snapshots":[{"event_id":"sha256:556374371e4b5e0f8c1c690465596e9b6a386ae2489f7ef3d6adabd3e06e24ea","target":"graph","created_at":"2026-05-18T00:31:31Z","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":"The Ehresmann-Schein-Nambooripad (ESN) Theorem asserts an equivalence between the category of inverse semigroups and the category of inductive groupoids. In this paper, we consider the category of inverse categories and functors -- a natural generalization of inverse semigroups -- and extend the ESN theorem to an equivalence between this category and the category of top-heavy locally inductive groupoids and locally inductive functors. From the proof of this extension, we also generalize the ESN Theorem to an equivalence between the category of inverse semicategories and the category of locally","authors_text":"Darien DeWolf, Dorette Pronk","cross_cats":["math.CT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2015-07-30T18:25:22Z","title":"The Ehresmann-Schein-Nambooripad Theorem for Inverse Categories"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.08615","kind":"arxiv","version":2},"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:98e36e69b2ab4be1a01b7116833253cf74269697a192c8e5d73ab98c427cc7c0","target":"record","created_at":"2026-05-18T00:31:31Z","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":"bb3fff4366c830c81c157e33c62e314fc7049c0a278553e5699f256fba1ba643","cross_cats_sorted":["math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2015-07-30T18:25:22Z","title_canon_sha256":"003247b5ca36cfbd291c6a3a1719f19d5d3d522271d87fe7c4b8cc881f54eace"},"schema_version":"1.0","source":{"id":"1507.08615","kind":"arxiv","version":2}},"canonical_sha256":"1941d733956cbb7042d1ef6d3769183daedbca89b6e2dc415ebd78d967e3fb1b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1941d733956cbb7042d1ef6d3769183daedbca89b6e2dc415ebd78d967e3fb1b","first_computed_at":"2026-05-18T00:31:31.819438Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:31:31.819438Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SjTJIoytM7Sg4ZeNvJk/5ovI4aCCdaJNre67oQqCe71OGRbm6e2CUMR5V1E9KgHETJzH8PuM555vbRCIqu/lAg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:31:31.820060Z","signed_message":"canonical_sha256_bytes"},"source_id":"1507.08615","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:98e36e69b2ab4be1a01b7116833253cf74269697a192c8e5d73ab98c427cc7c0","sha256:556374371e4b5e0f8c1c690465596e9b6a386ae2489f7ef3d6adabd3e06e24ea"],"state_sha256":"160d184c0f496b8fa7e551949c2ecdad850c91311128bddac5904f545e03a50c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1Zqq2qipYuC+ydA7Jgdn1tJeCFR7nhBowdL9sF2JPij8zMv9EyumIjmO65e2XjA/dPPvLHytayjhix/NJcwVCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T22:41:29.408863Z","bundle_sha256":"0e7f567b806e817032bba9a59e43eab76d5daed2fcf7440c5e9da55558b620b2"}}