{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:RGN77M3GXIYEQK67RCQSI7CWDW","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":"eeeafb6ef7b393ea5d58929ac28ff6ff623ea2bbf3f6a7e4ad48da9df3fe41a9","cross_cats_sorted":["math.AG","math.RT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2021-01-26T14:14:09Z","title_canon_sha256":"b0a1a26f6c28bc5f418d9b111f41603070d9f2cc9c279409a8e7a76518f1f8c6"},"schema_version":"1.0","source":{"id":"2101.10797","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2101.10797","created_at":"2026-07-05T03:13:01Z"},{"alias_kind":"arxiv_version","alias_value":"2101.10797v3","created_at":"2026-07-05T03:13:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2101.10797","created_at":"2026-07-05T03:13:01Z"},{"alias_kind":"pith_short_12","alias_value":"RGN77M3GXIYE","created_at":"2026-07-05T03:13:01Z"},{"alias_kind":"pith_short_16","alias_value":"RGN77M3GXIYEQK67","created_at":"2026-07-05T03:13:01Z"},{"alias_kind":"pith_short_8","alias_value":"RGN77M3G","created_at":"2026-07-05T03:13:01Z"}],"graph_snapshots":[{"event_id":"sha256:1a314cda63759eaeacf3e40a28b2482773abc35d4afe23889f9fc0b93de1dc9f","target":"graph","created_at":"2026-07-05T03:13:01Z","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/2101.10797/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"For a locally presentable abelian category $\\mathsf B$ with a projective generator, we construct the projective derived and contraderived model structures on the category of complexes, proving in particular the existence of enough homotopy projective complexes of projective objects. We also show that the derived category $\\mathsf D(\\mathsf B)$ is generated, as a triangulated category with coproducts, by the projective generator of $\\mathsf B$. For a Grothendieck abelian category $\\mathsf A$, we construct the injective derived and coderived model structures on complexes. Assuming Vopenka's prin","authors_text":"Jan Stovicek, Leonid Positselski","cross_cats":["math.AG","math.RT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2021-01-26T14:14:09Z","title":"Derived, coderived, and contraderived categories of locally presentable abelian categories"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2101.10797","kind":"arxiv","version":3},"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:aaadeb25bc5ae6d392c43642992b42e52266bb3ba74a06f3b11776eafb8e2887","target":"record","created_at":"2026-07-05T03:13:01Z","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":"eeeafb6ef7b393ea5d58929ac28ff6ff623ea2bbf3f6a7e4ad48da9df3fe41a9","cross_cats_sorted":["math.AG","math.RT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2021-01-26T14:14:09Z","title_canon_sha256":"b0a1a26f6c28bc5f418d9b111f41603070d9f2cc9c279409a8e7a76518f1f8c6"},"schema_version":"1.0","source":{"id":"2101.10797","kind":"arxiv","version":3}},"canonical_sha256":"899bffb366ba30482bdf88a1247c561da5d01deb0c2ec7726855de084c91517f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"899bffb366ba30482bdf88a1247c561da5d01deb0c2ec7726855de084c91517f","first_computed_at":"2026-07-05T03:13:01.874171Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:13:01.874171Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pUJmt1RuBIvrJoKHgr3fxbQtZWCCBTCAy+GYPGg+iCzOuvNY+dgiOHfthTLe5EyGuSPof26iVHsyX3//9VIRAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T03:13:01.874642Z","signed_message":"canonical_sha256_bytes"},"source_id":"2101.10797","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:aaadeb25bc5ae6d392c43642992b42e52266bb3ba74a06f3b11776eafb8e2887","sha256:1a314cda63759eaeacf3e40a28b2482773abc35d4afe23889f9fc0b93de1dc9f"],"state_sha256":"6d25294fcf38e28e6701a5c046f302dbac62e385eaf11b4d9b8745717d2b80f4"}