{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:TY62ROKMXC6YLBHYA7MXRGGCSL","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":"e67e36d6574cc21d435035c77b9154f05410122df1f1c9b11e0eb577befa7aad","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2024-04-24T14:37:52Z","title_canon_sha256":"8389bfe48be9a784bae58b7445d34c5d18b986dca39cb76b5917c49d06859b72"},"schema_version":"1.0","source":{"id":"2404.15896","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.15896","created_at":"2026-07-05T08:35:02Z"},{"alias_kind":"arxiv_version","alias_value":"2404.15896v2","created_at":"2026-07-05T08:35:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.15896","created_at":"2026-07-05T08:35:02Z"},{"alias_kind":"pith_short_12","alias_value":"TY62ROKMXC6Y","created_at":"2026-07-05T08:35:02Z"},{"alias_kind":"pith_short_16","alias_value":"TY62ROKMXC6YLBHY","created_at":"2026-07-05T08:35:02Z"},{"alias_kind":"pith_short_8","alias_value":"TY62ROKM","created_at":"2026-07-05T08:35:02Z"}],"graph_snapshots":[{"event_id":"sha256:4ebc25f84d2c0a7a335a76829ae95d5e56ea8690dc55e7b5a18bc70811b5cdbd","target":"graph","created_at":"2026-07-05T08:35:02Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2404.15896/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We provide a foundation for working with homological and homotopical methods in categorical algebra. This involves two mutually complementary components, namely (a) the strategic selection of suitable axiomatic frameworks, some well known and some new, and (b) the development of categorical tools for effective reasoning and computing within those frameworks.\n  The selection of axiomatic frameworks begins `from the ground up' with z-exact categories. These are pointed categories in which every morphism has a kernel and cokernel. Then we progress all the way to abelian categories, en route meeti","authors_text":"George Peschke, Tim Van der Linden","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2024-04-24T14:37:52Z","title":"A Homological View of Categorical Algebra"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.15896","kind":"arxiv","version":2},"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:90b87b1757b558241c341c7e421f3be0b1aa34fa7ebcff05b7ea37e54129f7d4","target":"record","created_at":"2026-07-05T08:35:02Z","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":"e67e36d6574cc21d435035c77b9154f05410122df1f1c9b11e0eb577befa7aad","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2024-04-24T14:37:52Z","title_canon_sha256":"8389bfe48be9a784bae58b7445d34c5d18b986dca39cb76b5917c49d06859b72"},"schema_version":"1.0","source":{"id":"2404.15896","kind":"arxiv","version":2}},"canonical_sha256":"9e3da8b94cb8bd8584f807d97898c292c125931afbbdcfa0a1a665e8c83fe77e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9e3da8b94cb8bd8584f807d97898c292c125931afbbdcfa0a1a665e8c83fe77e","first_computed_at":"2026-07-05T08:35:02.426846Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:35:02.426846Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Yt3/X4kjleRzgkb2zB8Vqsvv2CFJah8if3FxTSI4E0JrJhT4Ns9QbiOQNEfcIcmiwQKUAGtFB8iHgd0+Xo1UAw==","signature_status":"signed_v1","signed_at":"2026-07-05T08:35:02.427338Z","signed_message":"canonical_sha256_bytes"},"source_id":"2404.15896","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:90b87b1757b558241c341c7e421f3be0b1aa34fa7ebcff05b7ea37e54129f7d4","sha256:4ebc25f84d2c0a7a335a76829ae95d5e56ea8690dc55e7b5a18bc70811b5cdbd"],"state_sha256":"939d9197df18980d35d503dfc1e41f84045380adedf89d0ed504bd6f66d0bff3"}