{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:XRQ2N3RC4XN5KDOIGT6UCLZ34A","short_pith_number":"pith:XRQ2N3RC","canonical_record":{"source":{"id":"1202.3359","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2012-02-15T16:47:44Z","cross_cats_sorted":["math.AG","math.AT","math.KT"],"title_canon_sha256":"e35b8911a2edc29ce9108492448cab34d7f85f03cc7a7534fd9a50c74c0d1d94","abstract_canon_sha256":"21f85ba00f3491e1d405c5055170789e2996eb9488c0156e08d53a59197e19f2"},"schema_version":"1.0"},"canonical_sha256":"bc61a6ee22e5dbd50dc834fd412f3be01cb8ec0cc8128aaa06d7f23b89943200","source":{"kind":"arxiv","id":"1202.3359","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1202.3359","created_at":"2026-05-18T02:52:12Z"},{"alias_kind":"arxiv_version","alias_value":"1202.3359v2","created_at":"2026-05-18T02:52:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1202.3359","created_at":"2026-05-18T02:52:12Z"},{"alias_kind":"pith_short_12","alias_value":"XRQ2N3RC4XN5","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_16","alias_value":"XRQ2N3RC4XN5KDOI","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_8","alias_value":"XRQ2N3RC","created_at":"2026-05-18T12:27:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:XRQ2N3RC4XN5KDOIGT6UCLZ34A","target":"record","payload":{"canonical_record":{"source":{"id":"1202.3359","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2012-02-15T16:47:44Z","cross_cats_sorted":["math.AG","math.AT","math.KT"],"title_canon_sha256":"e35b8911a2edc29ce9108492448cab34d7f85f03cc7a7534fd9a50c74c0d1d94","abstract_canon_sha256":"21f85ba00f3491e1d405c5055170789e2996eb9488c0156e08d53a59197e19f2"},"schema_version":"1.0"},"canonical_sha256":"bc61a6ee22e5dbd50dc834fd412f3be01cb8ec0cc8128aaa06d7f23b89943200","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:52:12.980873Z","signature_b64":"aICMXIGmBEtyWQlFUy+KThAlwkoXXYJ7R1AWQNJ8dlzuMhbh14HoDE5o/5pYLlisQDlf+RxfEyGS6+CUF9j0Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bc61a6ee22e5dbd50dc834fd412f3be01cb8ec0cc8128aaa06d7f23b89943200","last_reissued_at":"2026-05-18T02:52:12.980261Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:52:12.980261Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1202.3359","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-18T02:52:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iAku/gbT7kSXWxLjv75EdqgAdDmB4CsopVZNkK17jkpIG/tCH/63jbcd5jj3BK0FZ8L8A5rRXfyC9wQyx5DkCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T19:19:27.945647Z"},"content_sha256":"94e61c75ce021e1f7362e2e06c6f391ff2d4759c6be9b16af96fc9796c9e3eac","schema_version":"1.0","event_id":"sha256:94e61c75ce021e1f7362e2e06c6f391ff2d4759c6be9b16af96fc9796c9e3eac"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:XRQ2N3RC4XN5KDOIGT6UCLZ34A","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A derivability criterion based on the existence of adjunctions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AG","math.AT","math.KT"],"primary_cat":"math.CT","authors_text":"Beatriz Rodriguez Gonzalez","submitted_at":"2012-02-15T16:47:44Z","abstract_excerpt":"In this paper we introduce a derivability criterion of functors based on the existence of adjunctions rather than on the existence of resolutions. It constitutes a converse of Quillen-Maltsiniotis Derived Adjunction Theorem. We present two consequences of our derivability criterion. On the one hand, we prove that the two notions for homotopy colimits corresponding to Grothendieck derivators and Quillen model categories are equivalent. On the other hand, we deduce that the internal hom for derived Morita theory constructed by B. Toen is indeed the right derived functor of the internal hom of dg"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1202.3359","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-18T02:52:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GIQPO2hCCjksXcIjpDlbvYIeocGfRT/L25rZ27HcWYjk4tDWGKHdDYxDn9VzSiqaWAdT+7xMUeauA8rXKeNTAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T19:19:27.946009Z"},"content_sha256":"a23841675cfd8c5ee34993a50635d3c3b2a0c0636bcb9f6ed028df7707ebde9a","schema_version":"1.0","event_id":"sha256:a23841675cfd8c5ee34993a50635d3c3b2a0c0636bcb9f6ed028df7707ebde9a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XRQ2N3RC4XN5KDOIGT6UCLZ34A/bundle.json","state_url":"https://pith.science/pith/XRQ2N3RC4XN5KDOIGT6UCLZ34A/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XRQ2N3RC4XN5KDOIGT6UCLZ34A/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-06-30T19:19:27Z","links":{"resolver":"https://pith.science/pith/XRQ2N3RC4XN5KDOIGT6UCLZ34A","bundle":"https://pith.science/pith/XRQ2N3RC4XN5KDOIGT6UCLZ34A/bundle.json","state":"https://pith.science/pith/XRQ2N3RC4XN5KDOIGT6UCLZ34A/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XRQ2N3RC4XN5KDOIGT6UCLZ34A/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:XRQ2N3RC4XN5KDOIGT6UCLZ34A","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":"21f85ba00f3491e1d405c5055170789e2996eb9488c0156e08d53a59197e19f2","cross_cats_sorted":["math.AG","math.AT","math.KT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2012-02-15T16:47:44Z","title_canon_sha256":"e35b8911a2edc29ce9108492448cab34d7f85f03cc7a7534fd9a50c74c0d1d94"},"schema_version":"1.0","source":{"id":"1202.3359","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1202.3359","created_at":"2026-05-18T02:52:12Z"},{"alias_kind":"arxiv_version","alias_value":"1202.3359v2","created_at":"2026-05-18T02:52:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1202.3359","created_at":"2026-05-18T02:52:12Z"},{"alias_kind":"pith_short_12","alias_value":"XRQ2N3RC4XN5","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_16","alias_value":"XRQ2N3RC4XN5KDOI","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_8","alias_value":"XRQ2N3RC","created_at":"2026-05-18T12:27:27Z"}],"graph_snapshots":[{"event_id":"sha256:a23841675cfd8c5ee34993a50635d3c3b2a0c0636bcb9f6ed028df7707ebde9a","target":"graph","created_at":"2026-05-18T02:52:12Z","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":"In this paper we introduce a derivability criterion of functors based on the existence of adjunctions rather than on the existence of resolutions. It constitutes a converse of Quillen-Maltsiniotis Derived Adjunction Theorem. We present two consequences of our derivability criterion. On the one hand, we prove that the two notions for homotopy colimits corresponding to Grothendieck derivators and Quillen model categories are equivalent. On the other hand, we deduce that the internal hom for derived Morita theory constructed by B. Toen is indeed the right derived functor of the internal hom of dg","authors_text":"Beatriz Rodriguez Gonzalez","cross_cats":["math.AG","math.AT","math.KT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2012-02-15T16:47:44Z","title":"A derivability criterion based on the existence of adjunctions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1202.3359","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:94e61c75ce021e1f7362e2e06c6f391ff2d4759c6be9b16af96fc9796c9e3eac","target":"record","created_at":"2026-05-18T02:52:12Z","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":"21f85ba00f3491e1d405c5055170789e2996eb9488c0156e08d53a59197e19f2","cross_cats_sorted":["math.AG","math.AT","math.KT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2012-02-15T16:47:44Z","title_canon_sha256":"e35b8911a2edc29ce9108492448cab34d7f85f03cc7a7534fd9a50c74c0d1d94"},"schema_version":"1.0","source":{"id":"1202.3359","kind":"arxiv","version":2}},"canonical_sha256":"bc61a6ee22e5dbd50dc834fd412f3be01cb8ec0cc8128aaa06d7f23b89943200","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bc61a6ee22e5dbd50dc834fd412f3be01cb8ec0cc8128aaa06d7f23b89943200","first_computed_at":"2026-05-18T02:52:12.980261Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:52:12.980261Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"aICMXIGmBEtyWQlFUy+KThAlwkoXXYJ7R1AWQNJ8dlzuMhbh14HoDE5o/5pYLlisQDlf+RxfEyGS6+CUF9j0Bw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:52:12.980873Z","signed_message":"canonical_sha256_bytes"},"source_id":"1202.3359","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:94e61c75ce021e1f7362e2e06c6f391ff2d4759c6be9b16af96fc9796c9e3eac","sha256:a23841675cfd8c5ee34993a50635d3c3b2a0c0636bcb9f6ed028df7707ebde9a"],"state_sha256":"441f8444077ef1bec8ee38c3081ffd9fb2594e48cd5e34099e6cf7c362b2b1a2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RmHRPPkyXnRVFklTYfwkVVDgHhSf+vbCx8OEua3gzYJ4rLrBbVyaJsJ9vKii8bmf7k+27dHKMtYmbwNtOvxeDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-30T19:19:27.948022Z","bundle_sha256":"59afdc2a7375aa5c7c251fee7fa777f8fe2a5d2e2d7e144762419311ae721ad7"}}