{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:YG3Y3PX6HKYUTZC4VXCSIAIK6R","short_pith_number":"pith:YG3Y3PX6","schema_version":"1.0","canonical_sha256":"c1b78dbefe3ab149e45cadc524010af46922f21ec39cfc45d71c296ac184d9a4","source":{"kind":"arxiv","id":"1410.3385","version":1},"attestation_state":"computed","paper":{"title":"Behavioral Metrics via Functor Lifting","license":"http://creativecommons.org/licenses/by/3.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Barbara K\\\"onig, Filippo Bonchi, Henning Kerstan, Paolo Baldan","submitted_at":"2014-10-13T16:36:01Z","abstract_excerpt":"We study behavioral metrics in an abstract coalgebraic setting. Given a coalgebra alpha: X -> FX in Set, where the functor F specifies the branching type, we define a framework for deriving pseudometrics on X which measure the behavioral distance of states.\n  A first crucial step is the lifting of the functor F on Set to a functor in the category PMet of pseudometric spaces. We present two different approaches which can be viewed as generalizations of the Kantorovich and Wasserstein pseudometrics for probability measures. We show that the pseudometrics provided by the two approaches coincide o"},"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":"1410.3385","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/3.0/","primary_cat":"cs.LO","submitted_at":"2014-10-13T16:36:01Z","cross_cats_sorted":[],"title_canon_sha256":"0a1e696ec4da62f90ee6f73058d38ea0305dd5a991cb5cac61a596557367f84d","abstract_canon_sha256":"a26c9d1c0d8ce7263a806a6ac0ae043eaf00247219661975efbf3c8349911d0c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:40:11.425567Z","signature_b64":"rtDpXo7olpjuNAKnjBn48FM4ai3EsGjnHGs4QMj3mWC5f3WcVwlzKh+Q7pkVk2fRF6pHjf4qpaGfF/gnaKZ6CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c1b78dbefe3ab149e45cadc524010af46922f21ec39cfc45d71c296ac184d9a4","last_reissued_at":"2026-05-18T02:40:11.424943Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:40:11.424943Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Behavioral Metrics via Functor Lifting","license":"http://creativecommons.org/licenses/by/3.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Barbara K\\\"onig, Filippo Bonchi, Henning Kerstan, Paolo Baldan","submitted_at":"2014-10-13T16:36:01Z","abstract_excerpt":"We study behavioral metrics in an abstract coalgebraic setting. Given a coalgebra alpha: X -> FX in Set, where the functor F specifies the branching type, we define a framework for deriving pseudometrics on X which measure the behavioral distance of states.\n  A first crucial step is the lifting of the functor F on Set to a functor in the category PMet of pseudometric spaces. We present two different approaches which can be viewed as generalizations of the Kantorovich and Wasserstein pseudometrics for probability measures. We show that the pseudometrics provided by the two approaches coincide o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1410.3385","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":"1410.3385","created_at":"2026-05-18T02:40:11.425032+00:00"},{"alias_kind":"arxiv_version","alias_value":"1410.3385v1","created_at":"2026-05-18T02:40:11.425032+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1410.3385","created_at":"2026-05-18T02:40:11.425032+00:00"},{"alias_kind":"pith_short_12","alias_value":"YG3Y3PX6HKYU","created_at":"2026-05-18T12:28:57.508820+00:00"},{"alias_kind":"pith_short_16","alias_value":"YG3Y3PX6HKYUTZC4","created_at":"2026-05-18T12:28:57.508820+00:00"},{"alias_kind":"pith_short_8","alias_value":"YG3Y3PX6","created_at":"2026-05-18T12:28:57.508820+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/YG3Y3PX6HKYUTZC4VXCSIAIK6R","json":"https://pith.science/pith/YG3Y3PX6HKYUTZC4VXCSIAIK6R.json","graph_json":"https://pith.science/api/pith-number/YG3Y3PX6HKYUTZC4VXCSIAIK6R/graph.json","events_json":"https://pith.science/api/pith-number/YG3Y3PX6HKYUTZC4VXCSIAIK6R/events.json","paper":"https://pith.science/paper/YG3Y3PX6"},"agent_actions":{"view_html":"https://pith.science/pith/YG3Y3PX6HKYUTZC4VXCSIAIK6R","download_json":"https://pith.science/pith/YG3Y3PX6HKYUTZC4VXCSIAIK6R.json","view_paper":"https://pith.science/paper/YG3Y3PX6","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1410.3385&json=true","fetch_graph":"https://pith.science/api/pith-number/YG3Y3PX6HKYUTZC4VXCSIAIK6R/graph.json","fetch_events":"https://pith.science/api/pith-number/YG3Y3PX6HKYUTZC4VXCSIAIK6R/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YG3Y3PX6HKYUTZC4VXCSIAIK6R/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YG3Y3PX6HKYUTZC4VXCSIAIK6R/action/storage_attestation","attest_author":"https://pith.science/pith/YG3Y3PX6HKYUTZC4VXCSIAIK6R/action/author_attestation","sign_citation":"https://pith.science/pith/YG3Y3PX6HKYUTZC4VXCSIAIK6R/action/citation_signature","submit_replication":"https://pith.science/pith/YG3Y3PX6HKYUTZC4VXCSIAIK6R/action/replication_record"}},"created_at":"2026-05-18T02:40:11.425032+00:00","updated_at":"2026-05-18T02:40:11.425032+00:00"}