{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2009:FNUXVASNARO4EBHVS2YEQQ2J2D","short_pith_number":"pith:FNUXVASN","schema_version":"1.0","canonical_sha256":"2b697a824d045dc204f596b0484349d0efcfe6ca690fc54db1d79bfd0acaaf94","source":{"kind":"arxiv","id":"0903.5522","version":3},"attestation_state":"computed","paper":{"title":"Convex Spaces I: Definition and Examples","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.MG","authors_text":"Tobias Fritz","submitted_at":"2009-03-31T17:15:55Z","abstract_excerpt":"We propose an abstract definition of convex spaces as sets where one can take convex combinations in a consistent way. A priori, a convex space is an algebra over a finitary version of the Giry monad. We identify the corresponding Lawvere theory as the category from arXiv:0902.2554 and use the results obtained there to extract a concrete definition of convex space in terms of a family of binary operations satisfying certain compatibility conditions. After giving an extensive list of examples of convex sets as they appear throughout mathematics and theoretical physics, we find that there also e"},"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":"0903.5522","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.MG","submitted_at":"2009-03-31T17:15:55Z","cross_cats_sorted":[],"title_canon_sha256":"6085c6af3970d6c8b5781a78617da79606cd3e190d07e0f088eeab1b75e23037","abstract_canon_sha256":"4144c16fad201fbfc8c6b76945d4ec56d6545c798909cae30ded86a13afe21ae"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:30:00.089783Z","signature_b64":"K4W3TUHXJuP0AdbKlQxbmb5JeEINAlJt4fxcMMsYVJosy1rNUaXXGfF7lurTg+cJ9JOhgE5tqdk/BZBuAeNeCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2b697a824d045dc204f596b0484349d0efcfe6ca690fc54db1d79bfd0acaaf94","last_reissued_at":"2026-05-18T01:30:00.089065Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:30:00.089065Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Convex Spaces I: Definition and Examples","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.MG","authors_text":"Tobias Fritz","submitted_at":"2009-03-31T17:15:55Z","abstract_excerpt":"We propose an abstract definition of convex spaces as sets where one can take convex combinations in a consistent way. A priori, a convex space is an algebra over a finitary version of the Giry monad. We identify the corresponding Lawvere theory as the category from arXiv:0902.2554 and use the results obtained there to extract a concrete definition of convex space in terms of a family of binary operations satisfying certain compatibility conditions. After giving an extensive list of examples of convex sets as they appear throughout mathematics and theoretical physics, we find that there also e"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0903.5522","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"0903.5522","created_at":"2026-05-18T01:30:00.089169+00:00"},{"alias_kind":"arxiv_version","alias_value":"0903.5522v3","created_at":"2026-05-18T01:30:00.089169+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0903.5522","created_at":"2026-05-18T01:30:00.089169+00:00"},{"alias_kind":"pith_short_12","alias_value":"FNUXVASNARO4","created_at":"2026-05-18T12:25:59.703012+00:00"},{"alias_kind":"pith_short_16","alias_value":"FNUXVASNARO4EBHV","created_at":"2026-05-18T12:25:59.703012+00:00"},{"alias_kind":"pith_short_8","alias_value":"FNUXVASN","created_at":"2026-05-18T12:25:59.703012+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2509.25236","citing_title":"Networks of Causal Abstractions: A Sheaf-theoretic Framework","ref_index":8,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/FNUXVASNARO4EBHVS2YEQQ2J2D","json":"https://pith.science/pith/FNUXVASNARO4EBHVS2YEQQ2J2D.json","graph_json":"https://pith.science/api/pith-number/FNUXVASNARO4EBHVS2YEQQ2J2D/graph.json","events_json":"https://pith.science/api/pith-number/FNUXVASNARO4EBHVS2YEQQ2J2D/events.json","paper":"https://pith.science/paper/FNUXVASN"},"agent_actions":{"view_html":"https://pith.science/pith/FNUXVASNARO4EBHVS2YEQQ2J2D","download_json":"https://pith.science/pith/FNUXVASNARO4EBHVS2YEQQ2J2D.json","view_paper":"https://pith.science/paper/FNUXVASN","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=0903.5522&json=true","fetch_graph":"https://pith.science/api/pith-number/FNUXVASNARO4EBHVS2YEQQ2J2D/graph.json","fetch_events":"https://pith.science/api/pith-number/FNUXVASNARO4EBHVS2YEQQ2J2D/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/FNUXVASNARO4EBHVS2YEQQ2J2D/action/timestamp_anchor","attest_storage":"https://pith.science/pith/FNUXVASNARO4EBHVS2YEQQ2J2D/action/storage_attestation","attest_author":"https://pith.science/pith/FNUXVASNARO4EBHVS2YEQQ2J2D/action/author_attestation","sign_citation":"https://pith.science/pith/FNUXVASNARO4EBHVS2YEQQ2J2D/action/citation_signature","submit_replication":"https://pith.science/pith/FNUXVASNARO4EBHVS2YEQQ2J2D/action/replication_record"}},"created_at":"2026-05-18T01:30:00.089169+00:00","updated_at":"2026-05-18T01:30:00.089169+00:00"}