{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:7LSCW6PAZAD2W2AXSJBGQ2A4KD","short_pith_number":"pith:7LSCW6PA","canonical_record":{"source":{"id":"1411.0090","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-11-01T09:35:37Z","cross_cats_sorted":[],"title_canon_sha256":"b40848c0203788b19055b31519f1afe7b78ddfaffee8bb1be0b57657fcbd7865","abstract_canon_sha256":"7f9b778d141b92e25789d2df843a0df433d685bbf1389fd20662c479013336f8"},"schema_version":"1.0"},"canonical_sha256":"fae42b79e0c807ab6817924268681c50d7af919f8a4d3892348c17da7a0c4d5a","source":{"kind":"arxiv","id":"1411.0090","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1411.0090","created_at":"2026-05-18T01:32:01Z"},{"alias_kind":"arxiv_version","alias_value":"1411.0090v4","created_at":"2026-05-18T01:32:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1411.0090","created_at":"2026-05-18T01:32:01Z"},{"alias_kind":"pith_short_12","alias_value":"7LSCW6PAZAD2","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_16","alias_value":"7LSCW6PAZAD2W2AX","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_8","alias_value":"7LSCW6PA","created_at":"2026-05-18T12:28:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:7LSCW6PAZAD2W2AXSJBGQ2A4KD","target":"record","payload":{"canonical_record":{"source":{"id":"1411.0090","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-11-01T09:35:37Z","cross_cats_sorted":[],"title_canon_sha256":"b40848c0203788b19055b31519f1afe7b78ddfaffee8bb1be0b57657fcbd7865","abstract_canon_sha256":"7f9b778d141b92e25789d2df843a0df433d685bbf1389fd20662c479013336f8"},"schema_version":"1.0"},"canonical_sha256":"fae42b79e0c807ab6817924268681c50d7af919f8a4d3892348c17da7a0c4d5a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:32:01.116103Z","signature_b64":"7WWCwsLVBqEb1woc7DpY7lHoKumFXr9rxESUGE2UYPwS4X6aRzRdJYXiwDDXnbvnrJ6k4PihZ5V3OIzIUgz+CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fae42b79e0c807ab6817924268681c50d7af919f8a4d3892348c17da7a0c4d5a","last_reissued_at":"2026-05-18T01:32:01.115690Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:32:01.115690Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1411.0090","source_version":4,"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:32:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2dnjZbyku5X5Yy3AcE2GpM7I/IoNxYcUvt7JycuiG3oO1aq7jbjKyB1cMZihtRk6Bb2O/CMsDDrJU8CwqDqMBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T18:49:24.428164Z"},"content_sha256":"f4347a662418da9188addd788e4c8f25f651167388c36afdc3982ccdfcb5999b","schema_version":"1.0","event_id":"sha256:f4347a662418da9188addd788e4c8f25f651167388c36afdc3982ccdfcb5999b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:7LSCW6PAZAD2W2AXSJBGQ2A4KD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Behavioural equivalences for coalgebras with unobservable moves","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Marco Peressotti, Marino Miculan, Tomasz Brengos","submitted_at":"2014-11-01T09:35:37Z","abstract_excerpt":"We introduce a general categorical framework for the definition of weak behavioural equivalences, building on and extending recent results in the field. This framework is based on parametrized saturation categories, i.e. categories whose hom-sets are endowed with complete orders and a suitable iteration operators; this structure allows us to provide the abstract definitions of various (weak) behavioural equivalence. We show that the Kleisli categories of many common monads are categories of this kind. This allows us to readily instantiate the abstract definitions to a wide range of existing sy"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1411.0090","kind":"arxiv","version":4},"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:32:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/FDfaRJE/IPz5otf1p1MxV7QWG7GRWrgE7npYEK9h7xk5FxtFwu6gLUVOtxTTNHB2/8R2orGtFN2/O4KA+jMDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T18:49:24.428512Z"},"content_sha256":"dba29bc17d2a65e1a2436168fe6846ff98f0e5eaaf23c96419ef3bbc06321cce","schema_version":"1.0","event_id":"sha256:dba29bc17d2a65e1a2436168fe6846ff98f0e5eaaf23c96419ef3bbc06321cce"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7LSCW6PAZAD2W2AXSJBGQ2A4KD/bundle.json","state_url":"https://pith.science/pith/7LSCW6PAZAD2W2AXSJBGQ2A4KD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7LSCW6PAZAD2W2AXSJBGQ2A4KD/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-25T18:49:24Z","links":{"resolver":"https://pith.science/pith/7LSCW6PAZAD2W2AXSJBGQ2A4KD","bundle":"https://pith.science/pith/7LSCW6PAZAD2W2AXSJBGQ2A4KD/bundle.json","state":"https://pith.science/pith/7LSCW6PAZAD2W2AXSJBGQ2A4KD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7LSCW6PAZAD2W2AXSJBGQ2A4KD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:7LSCW6PAZAD2W2AXSJBGQ2A4KD","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":"7f9b778d141b92e25789d2df843a0df433d685bbf1389fd20662c479013336f8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-11-01T09:35:37Z","title_canon_sha256":"b40848c0203788b19055b31519f1afe7b78ddfaffee8bb1be0b57657fcbd7865"},"schema_version":"1.0","source":{"id":"1411.0090","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1411.0090","created_at":"2026-05-18T01:32:01Z"},{"alias_kind":"arxiv_version","alias_value":"1411.0090v4","created_at":"2026-05-18T01:32:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1411.0090","created_at":"2026-05-18T01:32:01Z"},{"alias_kind":"pith_short_12","alias_value":"7LSCW6PAZAD2","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_16","alias_value":"7LSCW6PAZAD2W2AX","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_8","alias_value":"7LSCW6PA","created_at":"2026-05-18T12:28:19Z"}],"graph_snapshots":[{"event_id":"sha256:dba29bc17d2a65e1a2436168fe6846ff98f0e5eaaf23c96419ef3bbc06321cce","target":"graph","created_at":"2026-05-18T01:32:01Z","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":"We introduce a general categorical framework for the definition of weak behavioural equivalences, building on and extending recent results in the field. This framework is based on parametrized saturation categories, i.e. categories whose hom-sets are endowed with complete orders and a suitable iteration operators; this structure allows us to provide the abstract definitions of various (weak) behavioural equivalence. We show that the Kleisli categories of many common monads are categories of this kind. This allows us to readily instantiate the abstract definitions to a wide range of existing sy","authors_text":"Marco Peressotti, Marino Miculan, Tomasz Brengos","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-11-01T09:35:37Z","title":"Behavioural equivalences for coalgebras with unobservable moves"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1411.0090","kind":"arxiv","version":4},"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:f4347a662418da9188addd788e4c8f25f651167388c36afdc3982ccdfcb5999b","target":"record","created_at":"2026-05-18T01:32:01Z","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":"7f9b778d141b92e25789d2df843a0df433d685bbf1389fd20662c479013336f8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-11-01T09:35:37Z","title_canon_sha256":"b40848c0203788b19055b31519f1afe7b78ddfaffee8bb1be0b57657fcbd7865"},"schema_version":"1.0","source":{"id":"1411.0090","kind":"arxiv","version":4}},"canonical_sha256":"fae42b79e0c807ab6817924268681c50d7af919f8a4d3892348c17da7a0c4d5a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fae42b79e0c807ab6817924268681c50d7af919f8a4d3892348c17da7a0c4d5a","first_computed_at":"2026-05-18T01:32:01.115690Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:32:01.115690Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7WWCwsLVBqEb1woc7DpY7lHoKumFXr9rxESUGE2UYPwS4X6aRzRdJYXiwDDXnbvnrJ6k4PihZ5V3OIzIUgz+CQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:32:01.116103Z","signed_message":"canonical_sha256_bytes"},"source_id":"1411.0090","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f4347a662418da9188addd788e4c8f25f651167388c36afdc3982ccdfcb5999b","sha256:dba29bc17d2a65e1a2436168fe6846ff98f0e5eaaf23c96419ef3bbc06321cce"],"state_sha256":"50aee48f53ff87272a260e46dd548e9607f614a56a1937d0c7a17a75ae0d2a2e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5nUUVsacuJ8WBwbktUgncB5Dw/1R4J5Amk/ykTX/ThjiodGG1PmWiLilAztc9rCGx2RGjvJJa4XcNZXsLOOPAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-25T18:49:24.430415Z","bundle_sha256":"ab1c7e2ef241f6abe761f09c0ebd8efea8cdbf4cd694e391c77b5e56748f0a41"}}