{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:ZGA2TBIJLZCR7YBCKS46RAEBFT","short_pith_number":"pith:ZGA2TBIJ","canonical_record":{"source":{"id":"1501.00703","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2015-01-04T18:32:50Z","cross_cats_sorted":["math.GN"],"title_canon_sha256":"10857d04466e3407554cef7b0fb7759fbea17586a8ed6c73bf96919f738e4f01","abstract_canon_sha256":"f4153d16a02119a68fc7d4cd307a8b16784f9c34a39386d47d4f16f50d428557"},"schema_version":"1.0"},"canonical_sha256":"c981a985095e451fe02254b9e880812ceaef81b57cf6dfd865b2c610d4b5cb41","source":{"kind":"arxiv","id":"1501.00703","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1501.00703","created_at":"2026-05-18T01:20:26Z"},{"alias_kind":"arxiv_version","alias_value":"1501.00703v3","created_at":"2026-05-18T01:20:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1501.00703","created_at":"2026-05-18T01:20:26Z"},{"alias_kind":"pith_short_12","alias_value":"ZGA2TBIJLZCR","created_at":"2026-05-18T12:29:52Z"},{"alias_kind":"pith_short_16","alias_value":"ZGA2TBIJLZCR7YBC","created_at":"2026-05-18T12:29:52Z"},{"alias_kind":"pith_short_8","alias_value":"ZGA2TBIJ","created_at":"2026-05-18T12:29:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:ZGA2TBIJLZCR7YBCKS46RAEBFT","target":"record","payload":{"canonical_record":{"source":{"id":"1501.00703","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2015-01-04T18:32:50Z","cross_cats_sorted":["math.GN"],"title_canon_sha256":"10857d04466e3407554cef7b0fb7759fbea17586a8ed6c73bf96919f738e4f01","abstract_canon_sha256":"f4153d16a02119a68fc7d4cd307a8b16784f9c34a39386d47d4f16f50d428557"},"schema_version":"1.0"},"canonical_sha256":"c981a985095e451fe02254b9e880812ceaef81b57cf6dfd865b2c610d4b5cb41","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:20:26.328483Z","signature_b64":"7fxD6hKp0RteUB0HBPKvWg8G9cGWuXWuqnFKanCQfRlFHd6Yk+KQ+v5wh/T3wzfFhdppE8k6jwUIywZLqURpAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c981a985095e451fe02254b9e880812ceaef81b57cf6dfd865b2c610d4b5cb41","last_reissued_at":"2026-05-18T01:20:26.327870Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:20:26.327870Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1501.00703","source_version":3,"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-18T01:20:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tOkC7/0pO4wPEOA5Y0fmPzSbmNUc1jLaVfE7pDVWwx0DiskYfnKfsdExa+hwafgaUC/ea5EIVuLErG6/LlndAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-19T22:28:43.637155Z"},"content_sha256":"a6c28e59e774710ed6e2d7bc5fd294d5c45b306f60e96c02ffe156294da74a4c","schema_version":"1.0","event_id":"sha256:a6c28e59e774710ed6e2d7bc5fd294d5c45b306f60e96c02ffe156294da74a4c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:ZGA2TBIJLZCR7YBCKS46RAEBFT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Topological categories, quantaloids and Isbell adjunctions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.GN"],"primary_cat":"math.CT","authors_text":"Lili Shen, Walter Tholen","submitted_at":"2015-01-04T18:32:50Z","abstract_excerpt":"In fairly elementary terms this paper presents, and expands upon, a recent result by Garner by which the notion of topologicity of a concrete functor is subsumed under the concept of total cocompleteness of enriched category theory. Motivated by some key results of the 1970s, the paper develops all needed ingredients from the theory of quantaloids in order to place essential results of categorical topology into the context of quantaloid-enriched category theory, a field that previously drew its motivation and applications from other domains, such as quantum logic and sheaf theory."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1501.00703","kind":"arxiv","version":3},"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-18T01:20:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"V2C9H7t4lo4Rjc8WXVvQ13wrnW/VDRhzAILVkFw9oWQn4xzRXf4wQ2V1uwZPxJ5kyeic3a29hYmmocXfntjzAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-19T22:28:43.637516Z"},"content_sha256":"a42888e3755801a3ece73855bcb6d746321ee97045b69ea62402d6b8c863a6aa","schema_version":"1.0","event_id":"sha256:a42888e3755801a3ece73855bcb6d746321ee97045b69ea62402d6b8c863a6aa"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZGA2TBIJLZCR7YBCKS46RAEBFT/bundle.json","state_url":"https://pith.science/pith/ZGA2TBIJLZCR7YBCKS46RAEBFT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZGA2TBIJLZCR7YBCKS46RAEBFT/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-19T22:28:43Z","links":{"resolver":"https://pith.science/pith/ZGA2TBIJLZCR7YBCKS46RAEBFT","bundle":"https://pith.science/pith/ZGA2TBIJLZCR7YBCKS46RAEBFT/bundle.json","state":"https://pith.science/pith/ZGA2TBIJLZCR7YBCKS46RAEBFT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZGA2TBIJLZCR7YBCKS46RAEBFT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:ZGA2TBIJLZCR7YBCKS46RAEBFT","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":"f4153d16a02119a68fc7d4cd307a8b16784f9c34a39386d47d4f16f50d428557","cross_cats_sorted":["math.GN"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2015-01-04T18:32:50Z","title_canon_sha256":"10857d04466e3407554cef7b0fb7759fbea17586a8ed6c73bf96919f738e4f01"},"schema_version":"1.0","source":{"id":"1501.00703","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1501.00703","created_at":"2026-05-18T01:20:26Z"},{"alias_kind":"arxiv_version","alias_value":"1501.00703v3","created_at":"2026-05-18T01:20:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1501.00703","created_at":"2026-05-18T01:20:26Z"},{"alias_kind":"pith_short_12","alias_value":"ZGA2TBIJLZCR","created_at":"2026-05-18T12:29:52Z"},{"alias_kind":"pith_short_16","alias_value":"ZGA2TBIJLZCR7YBC","created_at":"2026-05-18T12:29:52Z"},{"alias_kind":"pith_short_8","alias_value":"ZGA2TBIJ","created_at":"2026-05-18T12:29:52Z"}],"graph_snapshots":[{"event_id":"sha256:a42888e3755801a3ece73855bcb6d746321ee97045b69ea62402d6b8c863a6aa","target":"graph","created_at":"2026-05-18T01:20:26Z","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":"In fairly elementary terms this paper presents, and expands upon, a recent result by Garner by which the notion of topologicity of a concrete functor is subsumed under the concept of total cocompleteness of enriched category theory. Motivated by some key results of the 1970s, the paper develops all needed ingredients from the theory of quantaloids in order to place essential results of categorical topology into the context of quantaloid-enriched category theory, a field that previously drew its motivation and applications from other domains, such as quantum logic and sheaf theory.","authors_text":"Lili Shen, Walter Tholen","cross_cats":["math.GN"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2015-01-04T18:32:50Z","title":"Topological categories, quantaloids and Isbell adjunctions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1501.00703","kind":"arxiv","version":3},"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:a6c28e59e774710ed6e2d7bc5fd294d5c45b306f60e96c02ffe156294da74a4c","target":"record","created_at":"2026-05-18T01:20:26Z","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":"f4153d16a02119a68fc7d4cd307a8b16784f9c34a39386d47d4f16f50d428557","cross_cats_sorted":["math.GN"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2015-01-04T18:32:50Z","title_canon_sha256":"10857d04466e3407554cef7b0fb7759fbea17586a8ed6c73bf96919f738e4f01"},"schema_version":"1.0","source":{"id":"1501.00703","kind":"arxiv","version":3}},"canonical_sha256":"c981a985095e451fe02254b9e880812ceaef81b57cf6dfd865b2c610d4b5cb41","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c981a985095e451fe02254b9e880812ceaef81b57cf6dfd865b2c610d4b5cb41","first_computed_at":"2026-05-18T01:20:26.327870Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:20:26.327870Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7fxD6hKp0RteUB0HBPKvWg8G9cGWuXWuqnFKanCQfRlFHd6Yk+KQ+v5wh/T3wzfFhdppE8k6jwUIywZLqURpAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:20:26.328483Z","signed_message":"canonical_sha256_bytes"},"source_id":"1501.00703","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a6c28e59e774710ed6e2d7bc5fd294d5c45b306f60e96c02ffe156294da74a4c","sha256:a42888e3755801a3ece73855bcb6d746321ee97045b69ea62402d6b8c863a6aa"],"state_sha256":"6b78cc4cba2beab3be657412f153b064fa9b98c277d8251cf56f5a6fe9b25736"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Xifgp2ROTAh2PUy2yEF93emjYj8HhlM/mFrCh9bydUgjCm/P6pQAxDHh03AysJw7OnyLunjUAhX4KF98IOttDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-19T22:28:43.639372Z","bundle_sha256":"23a7680cb5eb74137e38a95eef62cb4f421e6bd8705209ad2286cb2265785aac"}}