{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2007:FU2C7N45WJZ32FEULLCPX7VDSW","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":"d64cca5e8cc75905946361521187942a736b868564c802c786cd6367544a0f3b","cross_cats_sorted":["math.RA","math.RT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2007-08-27T18:28:50Z","title_canon_sha256":"4e41eaf20f3bc0c14f9fa982cb5464be11344be09fc2b55c4457a906960f6ac5"},"schema_version":"1.0","source":{"id":"0708.3398","kind":"arxiv","version":13}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0708.3398","created_at":"2026-05-18T02:52:14Z"},{"alias_kind":"arxiv_version","alias_value":"0708.3398v13","created_at":"2026-05-18T02:52:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0708.3398","created_at":"2026-05-18T02:52:14Z"},{"alias_kind":"pith_short_12","alias_value":"FU2C7N45WJZ3","created_at":"2026-05-18T12:25:55Z"},{"alias_kind":"pith_short_16","alias_value":"FU2C7N45WJZ32FEU","created_at":"2026-05-18T12:25:55Z"},{"alias_kind":"pith_short_8","alias_value":"FU2C7N45","created_at":"2026-05-18T12:25:55Z"}],"graph_snapshots":[{"event_id":"sha256:e4301289a38d24369123f0e671e26924c64cac5894df05c51fcd53f2c3bb46e7","target":"graph","created_at":"2026-05-18T02:52:14Z","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 develop the basic constructions of homological algebra in the (appropriately defined) unbounded derived categories of modules over algebras over coalgebras over noncommutative rings (which we call semialgebras over corings). We define double-sided derived functors SemiTor and SemiExt of the functors of semitensor product and semihomomorphisms, and construct an equivalence between the exotic derived categories of semimodules and semicontramodules.\n  Certain (co)flatness and/or (co)projectivity conditions have to be imposed on the coring and semialgebra to make the module categories abelian (","authors_text":"Leonid Positselski","cross_cats":["math.RA","math.RT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2007-08-27T18:28:50Z","title":"Homological algebra of semimodules and semicontramodules: Semi-infinite homological algebra of associative algebraic structures"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0708.3398","kind":"arxiv","version":13},"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:af62db5170cd5cb4af5db230cc449ff22a85c775a4b506d75fb3efd7e5e15112","target":"record","created_at":"2026-05-18T02:52:14Z","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":"d64cca5e8cc75905946361521187942a736b868564c802c786cd6367544a0f3b","cross_cats_sorted":["math.RA","math.RT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2007-08-27T18:28:50Z","title_canon_sha256":"4e41eaf20f3bc0c14f9fa982cb5464be11344be09fc2b55c4457a906960f6ac5"},"schema_version":"1.0","source":{"id":"0708.3398","kind":"arxiv","version":13}},"canonical_sha256":"2d342fb79db273bd14945ac4fbfea39592cdafb4a74f82bd804abaed5f72711a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2d342fb79db273bd14945ac4fbfea39592cdafb4a74f82bd804abaed5f72711a","first_computed_at":"2026-05-18T02:52:14.633586Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:52:14.633586Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rRZWAiEv6nDOJMMmY31dP7RStGwRcXSyGOAsrFShJR+9Nb5qjUVDK2z1lQ/rAnMc2XwKRJkV6+gcoUdgYUYODg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:52:14.634264Z","signed_message":"canonical_sha256_bytes"},"source_id":"0708.3398","source_kind":"arxiv","source_version":13}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:af62db5170cd5cb4af5db230cc449ff22a85c775a4b506d75fb3efd7e5e15112","sha256:e4301289a38d24369123f0e671e26924c64cac5894df05c51fcd53f2c3bb46e7"],"state_sha256":"67c60c17be6a946bb48c3e70b99df6ad52795bc756a6085b23b0b4173a344bfa"}