{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:FATQLI4HJVGKPCMHB5Z5LDRW6L","short_pith_number":"pith:FATQLI4H","canonical_record":{"source":{"id":"1712.05363","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2017-12-14T17:48:42Z","cross_cats_sorted":["cs.LO","math.CT"],"title_canon_sha256":"fd45abe5626979a6c031a84143db606a37c94600e3c680010602651a2d5897b2","abstract_canon_sha256":"b2b525365e220c72e6b8389c7b0a535e4fecabe5fbfe01d28dbf8563757a65c0"},"schema_version":"1.0"},"canonical_sha256":"282705a3874d4ca789870f73d58e36f2c6c37e1320e611675d18b4da2f0b481e","source":{"kind":"arxiv","id":"1712.05363","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1712.05363","created_at":"2026-05-17T23:51:34Z"},{"alias_kind":"arxiv_version","alias_value":"1712.05363v4","created_at":"2026-05-17T23:51:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.05363","created_at":"2026-05-17T23:51:34Z"},{"alias_kind":"pith_short_12","alias_value":"FATQLI4HJVGK","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_16","alias_value":"FATQLI4HJVGKPCMH","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_8","alias_value":"FATQLI4H","created_at":"2026-05-18T12:31:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:FATQLI4HJVGKPCMHB5Z5LDRW6L","target":"record","payload":{"canonical_record":{"source":{"id":"1712.05363","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2017-12-14T17:48:42Z","cross_cats_sorted":["cs.LO","math.CT"],"title_canon_sha256":"fd45abe5626979a6c031a84143db606a37c94600e3c680010602651a2d5897b2","abstract_canon_sha256":"b2b525365e220c72e6b8389c7b0a535e4fecabe5fbfe01d28dbf8563757a65c0"},"schema_version":"1.0"},"canonical_sha256":"282705a3874d4ca789870f73d58e36f2c6c37e1320e611675d18b4da2f0b481e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:51:34.274355Z","signature_b64":"cbrL/TAw2V8aeCXpHLHC3wY7vM1Mty41N84n+g3NqMiKL7/ZavQecjOXAVQK/XOd+buoojvz+UdMmMW/oNH+CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"282705a3874d4ca789870f73d58e36f2c6c37e1320e611675d18b4da2f0b481e","last_reissued_at":"2026-05-17T23:51:34.273623Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:51:34.273623Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1712.05363","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-17T23:51:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lHHmw7JJ9CP+gU/F1jiPUoA1oYn/SvEixhjwYBHrlCKA4TVu4Jc1YsS4YgWF8i6TA7a9U8uUS42ipGacng9dAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T07:31:24.119680Z"},"content_sha256":"9ffa194272244b6149cf13d0e9538f48f869b27488c7dc79e23f940f3646e923","schema_version":"1.0","event_id":"sha256:9ffa194272244b6149cf13d0e9538f48f869b27488c7dc79e23f940f3646e923"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:FATQLI4HJVGKPCMHB5Z5LDRW6L","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Probability Monad as the Colimit of Spaces of Finite Samples","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","math.CT"],"primary_cat":"math.PR","authors_text":"Paolo Perrone, Tobias Fritz","submitted_at":"2017-12-14T17:48:42Z","abstract_excerpt":"We define and study a probability monad on the category of complete metric spaces and short maps. It assigns to each space the space of Radon probability measures on it with finite first moment, equipped with the Kantorovich-Wasserstein distance. This monad is analogous to the Giry monad on the category of Polish spaces, and it extends a construction due to van Breugel for compact and for 1-bounded complete metric spaces.\n  We prove that this Kantorovich monad arises from a colimit construction on finite power-like constructions, which formalizes the intuition that probability measures are lim"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.05363","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-17T23:51:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HPyc3+mqgEfizF+ZQ1HDlU1nmLyE1dHbHsImv6HKn3fGlF9KRKszyYRXdOeLurd2BebLVx5PA1pQekw94dljDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T07:31:24.120323Z"},"content_sha256":"c8de32d4fcb6bfe24d113b7d3360b14831c4a1cd9ec4db89917576c21ee768d2","schema_version":"1.0","event_id":"sha256:c8de32d4fcb6bfe24d113b7d3360b14831c4a1cd9ec4db89917576c21ee768d2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FATQLI4HJVGKPCMHB5Z5LDRW6L/bundle.json","state_url":"https://pith.science/pith/FATQLI4HJVGKPCMHB5Z5LDRW6L/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FATQLI4HJVGKPCMHB5Z5LDRW6L/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-05-30T07:31:24Z","links":{"resolver":"https://pith.science/pith/FATQLI4HJVGKPCMHB5Z5LDRW6L","bundle":"https://pith.science/pith/FATQLI4HJVGKPCMHB5Z5LDRW6L/bundle.json","state":"https://pith.science/pith/FATQLI4HJVGKPCMHB5Z5LDRW6L/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FATQLI4HJVGKPCMHB5Z5LDRW6L/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:FATQLI4HJVGKPCMHB5Z5LDRW6L","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":"b2b525365e220c72e6b8389c7b0a535e4fecabe5fbfe01d28dbf8563757a65c0","cross_cats_sorted":["cs.LO","math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2017-12-14T17:48:42Z","title_canon_sha256":"fd45abe5626979a6c031a84143db606a37c94600e3c680010602651a2d5897b2"},"schema_version":"1.0","source":{"id":"1712.05363","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1712.05363","created_at":"2026-05-17T23:51:34Z"},{"alias_kind":"arxiv_version","alias_value":"1712.05363v4","created_at":"2026-05-17T23:51:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.05363","created_at":"2026-05-17T23:51:34Z"},{"alias_kind":"pith_short_12","alias_value":"FATQLI4HJVGK","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_16","alias_value":"FATQLI4HJVGKPCMH","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_8","alias_value":"FATQLI4H","created_at":"2026-05-18T12:31:15Z"}],"graph_snapshots":[{"event_id":"sha256:c8de32d4fcb6bfe24d113b7d3360b14831c4a1cd9ec4db89917576c21ee768d2","target":"graph","created_at":"2026-05-17T23:51:34Z","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 define and study a probability monad on the category of complete metric spaces and short maps. It assigns to each space the space of Radon probability measures on it with finite first moment, equipped with the Kantorovich-Wasserstein distance. This monad is analogous to the Giry monad on the category of Polish spaces, and it extends a construction due to van Breugel for compact and for 1-bounded complete metric spaces.\n  We prove that this Kantorovich monad arises from a colimit construction on finite power-like constructions, which formalizes the intuition that probability measures are lim","authors_text":"Paolo Perrone, Tobias Fritz","cross_cats":["cs.LO","math.CT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2017-12-14T17:48:42Z","title":"A Probability Monad as the Colimit of Spaces of Finite Samples"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.05363","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:9ffa194272244b6149cf13d0e9538f48f869b27488c7dc79e23f940f3646e923","target":"record","created_at":"2026-05-17T23:51:34Z","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":"b2b525365e220c72e6b8389c7b0a535e4fecabe5fbfe01d28dbf8563757a65c0","cross_cats_sorted":["cs.LO","math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2017-12-14T17:48:42Z","title_canon_sha256":"fd45abe5626979a6c031a84143db606a37c94600e3c680010602651a2d5897b2"},"schema_version":"1.0","source":{"id":"1712.05363","kind":"arxiv","version":4}},"canonical_sha256":"282705a3874d4ca789870f73d58e36f2c6c37e1320e611675d18b4da2f0b481e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"282705a3874d4ca789870f73d58e36f2c6c37e1320e611675d18b4da2f0b481e","first_computed_at":"2026-05-17T23:51:34.273623Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:51:34.273623Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"cbrL/TAw2V8aeCXpHLHC3wY7vM1Mty41N84n+g3NqMiKL7/ZavQecjOXAVQK/XOd+buoojvz+UdMmMW/oNH+CA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:51:34.274355Z","signed_message":"canonical_sha256_bytes"},"source_id":"1712.05363","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9ffa194272244b6149cf13d0e9538f48f869b27488c7dc79e23f940f3646e923","sha256:c8de32d4fcb6bfe24d113b7d3360b14831c4a1cd9ec4db89917576c21ee768d2"],"state_sha256":"7c84ee73a32071e15b6ca80390edcf90c2f87685fa8195e3b3eee36aa4fb5e3f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9zX3jAh6KhQhZRatMGg/Sazy6opup2TEqAoT6lGrVcS5CtXlF0pqyNMUvd6+fdFkZVYnhrruH2XXS9cixXL/CA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T07:31:24.123871Z","bundle_sha256":"3e4eb76bae2e6483a0e56ced44e1bedf9397f9b649eb14c3acc0187f5e46bda7"}}