{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:TP2Y3NQBVQDNHYSCKEK76MWR6Z","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":"eee6c9863d091a9834a503d015f5260ce0860701e96bc436e8f4592bd642c954","cross_cats_sorted":["math.AT","math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2015-12-23T18:25:04Z","title_canon_sha256":"8054c0707d4e2643550a3ce35a28f59de7923b521e81ee67c5f4fb4f114ab985"},"schema_version":"1.0","source":{"id":"1512.07573","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1512.07573","created_at":"2026-05-17T23:41:31Z"},{"alias_kind":"arxiv_version","alias_value":"1512.07573v4","created_at":"2026-05-17T23:41:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1512.07573","created_at":"2026-05-17T23:41:31Z"},{"alias_kind":"pith_short_12","alias_value":"TP2Y3NQBVQDN","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_16","alias_value":"TP2Y3NQBVQDNHYSC","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_8","alias_value":"TP2Y3NQB","created_at":"2026-05-18T12:29:42Z"}],"graph_snapshots":[{"event_id":"sha256:27bf5e1b21b323ff768c219e6d0acc0c536c94c495eeaabd959d295e6d93f4f6","target":"graph","created_at":"2026-05-17T23:41:31Z","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":"This is the first in a series of papers devoted to the theory of decomposition spaces, a general framework for incidence algebras and M\\\"obius inversion, where algebraic identities are realised by taking homotopy cardinality of equivalences of $\\infty$-groupoids. A decomposition space is a simplicial $\\infty$-groupoid satisfying an exactness condition, weaker than the Segal condition, expressed in terms of active and inert maps in Delta. Just as the Segal condition expresses composition, the new condition expresses decomposition, and there is an abundance of examples in combinatorics. After es","authors_text":"Andrew Tonks, Imma G\\'alvez-Carrillo, Joachim Kock","cross_cats":["math.AT","math.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2015-12-23T18:25:04Z","title":"Decomposition spaces, incidence algebras and M\\\"obius inversion I: basic theory"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1512.07573","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:b0bd7b2d0015a65979fe6778a11d6e7fea5d3b4c652469dcd8262953738ef6c0","target":"record","created_at":"2026-05-17T23:41:31Z","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":"eee6c9863d091a9834a503d015f5260ce0860701e96bc436e8f4592bd642c954","cross_cats_sorted":["math.AT","math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2015-12-23T18:25:04Z","title_canon_sha256":"8054c0707d4e2643550a3ce35a28f59de7923b521e81ee67c5f4fb4f114ab985"},"schema_version":"1.0","source":{"id":"1512.07573","kind":"arxiv","version":4}},"canonical_sha256":"9bf58db601ac06d3e2425115ff32d1f645cde434b7ed424165d880c1c8050ec5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9bf58db601ac06d3e2425115ff32d1f645cde434b7ed424165d880c1c8050ec5","first_computed_at":"2026-05-17T23:41:31.586751Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:41:31.586751Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"PTbaWS/fA1oDx9jRmvSaq9NwgSagFUUsxdZMG0jkszRB6n6ZPfpPgWrJ4M+a/HhwBDaKKNgK43g+L5d+2/WqBQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:41:31.587507Z","signed_message":"canonical_sha256_bytes"},"source_id":"1512.07573","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b0bd7b2d0015a65979fe6778a11d6e7fea5d3b4c652469dcd8262953738ef6c0","sha256:27bf5e1b21b323ff768c219e6d0acc0c536c94c495eeaabd959d295e6d93f4f6"],"state_sha256":"39ee2994d4f6563f5c0bd84ceffa2d2e22a3faddd3cecca8ea93fc19eb40d62b"}