{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2007:EIFNFNPYDPYFY6DWQX5VHMH7V5","short_pith_number":"pith:EIFNFNPY","canonical_record":{"source":{"id":"0706.2868","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2007-06-19T20:18:05Z","cross_cats_sorted":["math.AT"],"title_canon_sha256":"806e06c78b8df93cd441aa70ff8518d3a85b67ce369dfa232901a1b10ac3d8b6","abstract_canon_sha256":"6dfe6bb4bb5728a0019b90183a757b0e222399aaf229d5d0fa52b4c09fe5bf22"},"schema_version":"1.0"},"canonical_sha256":"220ad2b5f81bf05c787685fb53b0ffaf63661ee5cf09bce39b22b22c26110cc2","source":{"kind":"arxiv","id":"0706.2868","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0706.2868","created_at":"2026-05-18T04:27:48Z"},{"alias_kind":"arxiv_version","alias_value":"0706.2868v2","created_at":"2026-05-18T04:27:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0706.2868","created_at":"2026-05-18T04:27:48Z"},{"alias_kind":"pith_short_12","alias_value":"EIFNFNPYDPYF","created_at":"2026-05-18T12:25:55Z"},{"alias_kind":"pith_short_16","alias_value":"EIFNFNPYDPYFY6DW","created_at":"2026-05-18T12:25:55Z"},{"alias_kind":"pith_short_8","alias_value":"EIFNFNPY","created_at":"2026-05-18T12:25:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2007:EIFNFNPYDPYFY6DWQX5VHMH7V5","target":"record","payload":{"canonical_record":{"source":{"id":"0706.2868","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2007-06-19T20:18:05Z","cross_cats_sorted":["math.AT"],"title_canon_sha256":"806e06c78b8df93cd441aa70ff8518d3a85b67ce369dfa232901a1b10ac3d8b6","abstract_canon_sha256":"6dfe6bb4bb5728a0019b90183a757b0e222399aaf229d5d0fa52b4c09fe5bf22"},"schema_version":"1.0"},"canonical_sha256":"220ad2b5f81bf05c787685fb53b0ffaf63661ee5cf09bce39b22b22c26110cc2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:27:48.038452Z","signature_b64":"EYF0K3wlJLLHuc8cN3mSD+j1FQ20TnY6mwQM818mgD6KdWzVyoDoCnmWQD+L2e7us3XeNba1SfD5jAMWuoPrDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"220ad2b5f81bf05c787685fb53b0ffaf63661ee5cf09bce39b22b22c26110cc2","last_reissued_at":"2026-05-18T04:27:48.037953Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:27:48.037953Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0706.2868","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T04:27:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pbBdxidCvpttN+QOhHKtoFHgXvZg5ZSCQRx075T6h5jBXo3Lq1TMdNcnd8dsXxYu7qUqIa3d6gL1Zs7BaAxiCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T07:43:25.830656Z"},"content_sha256":"d3e1e5bbfdbaf93a7400d825b8f2c64478e32ccffab6855b75212627e8702f3f","schema_version":"1.0","event_id":"sha256:d3e1e5bbfdbaf93a7400d825b8f2c64478e32ccffab6855b75212627e8702f3f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2007:EIFNFNPYDPYFY6DWQX5VHMH7V5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Comparing composites of left and right derived functors","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AT"],"primary_cat":"math.CT","authors_text":"Michael Shulman","submitted_at":"2007-06-19T20:18:05Z","abstract_excerpt":"We introduce a new categorical framework for studying derived functors, and in particular for comparing composites of left and right derived functors. Our central observation is that model categories are the objects of a double category whose vertical and horizontal arrows are left and right Quillen functors, respectively, and that passage to derived functors is functorial at the level of this double category. The theory of conjunctions and mates in double categories, which generalizes the theory of adjunctions and mates in 2-categories, then gives us canonical ways to compare composites of le"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0706.2868","kind":"arxiv","version":2},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T04:27:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wKZLnB9VNzSex+rWBtpOk0tphkch+zdbEL14mfCYmEzzgn5vDqu1iLT7GtUZa7TFrfn14vXH1Fv9TYcv7z38BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T07:43:25.831002Z"},"content_sha256":"ca2e3d062f51d1d7576a679a95d3ea53fd61968238d0db65e5e862467080d32b","schema_version":"1.0","event_id":"sha256:ca2e3d062f51d1d7576a679a95d3ea53fd61968238d0db65e5e862467080d32b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EIFNFNPYDPYFY6DWQX5VHMH7V5/bundle.json","state_url":"https://pith.science/pith/EIFNFNPYDPYFY6DWQX5VHMH7V5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EIFNFNPYDPYFY6DWQX5VHMH7V5/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-07-05T07:43:25Z","links":{"resolver":"https://pith.science/pith/EIFNFNPYDPYFY6DWQX5VHMH7V5","bundle":"https://pith.science/pith/EIFNFNPYDPYFY6DWQX5VHMH7V5/bundle.json","state":"https://pith.science/pith/EIFNFNPYDPYFY6DWQX5VHMH7V5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EIFNFNPYDPYFY6DWQX5VHMH7V5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2007:EIFNFNPYDPYFY6DWQX5VHMH7V5","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":"6dfe6bb4bb5728a0019b90183a757b0e222399aaf229d5d0fa52b4c09fe5bf22","cross_cats_sorted":["math.AT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2007-06-19T20:18:05Z","title_canon_sha256":"806e06c78b8df93cd441aa70ff8518d3a85b67ce369dfa232901a1b10ac3d8b6"},"schema_version":"1.0","source":{"id":"0706.2868","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0706.2868","created_at":"2026-05-18T04:27:48Z"},{"alias_kind":"arxiv_version","alias_value":"0706.2868v2","created_at":"2026-05-18T04:27:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0706.2868","created_at":"2026-05-18T04:27:48Z"},{"alias_kind":"pith_short_12","alias_value":"EIFNFNPYDPYF","created_at":"2026-05-18T12:25:55Z"},{"alias_kind":"pith_short_16","alias_value":"EIFNFNPYDPYFY6DW","created_at":"2026-05-18T12:25:55Z"},{"alias_kind":"pith_short_8","alias_value":"EIFNFNPY","created_at":"2026-05-18T12:25:55Z"}],"graph_snapshots":[{"event_id":"sha256:ca2e3d062f51d1d7576a679a95d3ea53fd61968238d0db65e5e862467080d32b","target":"graph","created_at":"2026-05-18T04:27:48Z","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 introduce a new categorical framework for studying derived functors, and in particular for comparing composites of left and right derived functors. Our central observation is that model categories are the objects of a double category whose vertical and horizontal arrows are left and right Quillen functors, respectively, and that passage to derived functors is functorial at the level of this double category. The theory of conjunctions and mates in double categories, which generalizes the theory of adjunctions and mates in 2-categories, then gives us canonical ways to compare composites of le","authors_text":"Michael Shulman","cross_cats":["math.AT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2007-06-19T20:18:05Z","title":"Comparing composites of left and right derived functors"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0706.2868","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:d3e1e5bbfdbaf93a7400d825b8f2c64478e32ccffab6855b75212627e8702f3f","target":"record","created_at":"2026-05-18T04:27:48Z","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":"6dfe6bb4bb5728a0019b90183a757b0e222399aaf229d5d0fa52b4c09fe5bf22","cross_cats_sorted":["math.AT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2007-06-19T20:18:05Z","title_canon_sha256":"806e06c78b8df93cd441aa70ff8518d3a85b67ce369dfa232901a1b10ac3d8b6"},"schema_version":"1.0","source":{"id":"0706.2868","kind":"arxiv","version":2}},"canonical_sha256":"220ad2b5f81bf05c787685fb53b0ffaf63661ee5cf09bce39b22b22c26110cc2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"220ad2b5f81bf05c787685fb53b0ffaf63661ee5cf09bce39b22b22c26110cc2","first_computed_at":"2026-05-18T04:27:48.037953Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:27:48.037953Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"EYF0K3wlJLLHuc8cN3mSD+j1FQ20TnY6mwQM818mgD6KdWzVyoDoCnmWQD+L2e7us3XeNba1SfD5jAMWuoPrDA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:27:48.038452Z","signed_message":"canonical_sha256_bytes"},"source_id":"0706.2868","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d3e1e5bbfdbaf93a7400d825b8f2c64478e32ccffab6855b75212627e8702f3f","sha256:ca2e3d062f51d1d7576a679a95d3ea53fd61968238d0db65e5e862467080d32b"],"state_sha256":"763353509f7f9c7cd7b818e5a833541d84482c16084311fdf60de867abcb699d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6DzO0HgiYJS8Ets8PcBtTdTeCDAmEzWLDVSB1uyorvTHtCipdPcpZNY0hlR5hkLenFQzWHCUQHaAGOHS/2dsAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-05T07:43:25.833003Z","bundle_sha256":"d87cbeaf4e4ac7897805c1681752ad7796e156fc2eff1b4dc14f1214ae3e68df"}}