{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2007:HPPPELYFDSOQFWGEHR7X7N3SVW","short_pith_number":"pith:HPPPELYF","canonical_record":{"source":{"id":"0707.0904","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AT","submitted_at":"2007-07-06T05:35:43Z","cross_cats_sorted":[],"title_canon_sha256":"44b98f97894bd4c58ef6ec3fe4584723a5d3af59729def8c463b00cccab1b312","abstract_canon_sha256":"0fa3938af9c6cecdec639c8d45bbf0df337cbadd80feb53ba740160c26dceda3"},"schema_version":"1.0"},"canonical_sha256":"3bdef22f051c9d02d8c43c7f7fb772ad874a4e4e9bf4dbe90bcaad6916b3898e","source":{"kind":"arxiv","id":"0707.0904","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0707.0904","created_at":"2026-05-18T03:05:36Z"},{"alias_kind":"arxiv_version","alias_value":"0707.0904v3","created_at":"2026-05-18T03:05:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0707.0904","created_at":"2026-05-18T03:05:36Z"},{"alias_kind":"pith_short_12","alias_value":"HPPPELYFDSOQ","created_at":"2026-05-18T12:25:55Z"},{"alias_kind":"pith_short_16","alias_value":"HPPPELYFDSOQFWGE","created_at":"2026-05-18T12:25:55Z"},{"alias_kind":"pith_short_8","alias_value":"HPPPELYF","created_at":"2026-05-18T12:25:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2007:HPPPELYFDSOQFWGEHR7X7N3SVW","target":"record","payload":{"canonical_record":{"source":{"id":"0707.0904","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AT","submitted_at":"2007-07-06T05:35:43Z","cross_cats_sorted":[],"title_canon_sha256":"44b98f97894bd4c58ef6ec3fe4584723a5d3af59729def8c463b00cccab1b312","abstract_canon_sha256":"0fa3938af9c6cecdec639c8d45bbf0df337cbadd80feb53ba740160c26dceda3"},"schema_version":"1.0"},"canonical_sha256":"3bdef22f051c9d02d8c43c7f7fb772ad874a4e4e9bf4dbe90bcaad6916b3898e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:05:36.071459Z","signature_b64":"JJFaL/FBlZwnuTByAwBPgqdRBLP5yzs32L/9K4+TEqh56VFHeRXxIUsLNaZdolcMc4GSwYvNEVykutS4Aj+pDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3bdef22f051c9d02d8c43c7f7fb772ad874a4e4e9bf4dbe90bcaad6916b3898e","last_reissued_at":"2026-05-18T03:05:36.070860Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:05:36.070860Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0707.0904","source_version":3,"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-18T03:05:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8HaLST0MYO1kjYLd7vF+RXVDLk0jQDGopS24/bpi901APlMutrz/ZKeZvfQZr9yHiEdwAYe8tUsbMRNthV7+Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T07:38:58.680157Z"},"content_sha256":"40283313d9bbd989c90199cdf388ee7775921a50487529c461fbfa7793ab999e","schema_version":"1.0","event_id":"sha256:40283313d9bbd989c90199cdf388ee7775921a50487529c461fbfa7793ab999e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2007:HPPPELYFDSOQFWGEHR7X7N3SVW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Brown representability for space-valued functors","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.AT","authors_text":"Boris Chorny","submitted_at":"2007-07-06T05:35:43Z","abstract_excerpt":"In this paper we prove two theorems which resemble the classical cohomological and homological Brown representability theorems. The main difference is that our results classify small contravariant functors from spaces to spaces up to weak equivalence of functors.\n  In more detail, we show that every small contravariant functor from spaces to spaces which takes coproducts to products up to homotopy and takes homotopy pushouts to homotopy pullbacks is naturally weekly equivalent to a representable functor.\n  The second representability theorem states: every contravariant continuous functor from "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0707.0904","kind":"arxiv","version":3},"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-18T03:05:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OHw9L0VATlyjf1+n2eViqMmNv2e+qjkse4795WfF23pw9FCjdkdhxae3ssJtuAI0ONtWe17vteRBwJQ0emO8BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T07:38:58.680526Z"},"content_sha256":"dcd4107b92349366d54cdd5509efd5b1eaf5e31d759f92ec975625b5e1faa725","schema_version":"1.0","event_id":"sha256:dcd4107b92349366d54cdd5509efd5b1eaf5e31d759f92ec975625b5e1faa725"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HPPPELYFDSOQFWGEHR7X7N3SVW/bundle.json","state_url":"https://pith.science/pith/HPPPELYFDSOQFWGEHR7X7N3SVW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HPPPELYFDSOQFWGEHR7X7N3SVW/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-20T07:38:58Z","links":{"resolver":"https://pith.science/pith/HPPPELYFDSOQFWGEHR7X7N3SVW","bundle":"https://pith.science/pith/HPPPELYFDSOQFWGEHR7X7N3SVW/bundle.json","state":"https://pith.science/pith/HPPPELYFDSOQFWGEHR7X7N3SVW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HPPPELYFDSOQFWGEHR7X7N3SVW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2007:HPPPELYFDSOQFWGEHR7X7N3SVW","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":"0fa3938af9c6cecdec639c8d45bbf0df337cbadd80feb53ba740160c26dceda3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AT","submitted_at":"2007-07-06T05:35:43Z","title_canon_sha256":"44b98f97894bd4c58ef6ec3fe4584723a5d3af59729def8c463b00cccab1b312"},"schema_version":"1.0","source":{"id":"0707.0904","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0707.0904","created_at":"2026-05-18T03:05:36Z"},{"alias_kind":"arxiv_version","alias_value":"0707.0904v3","created_at":"2026-05-18T03:05:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0707.0904","created_at":"2026-05-18T03:05:36Z"},{"alias_kind":"pith_short_12","alias_value":"HPPPELYFDSOQ","created_at":"2026-05-18T12:25:55Z"},{"alias_kind":"pith_short_16","alias_value":"HPPPELYFDSOQFWGE","created_at":"2026-05-18T12:25:55Z"},{"alias_kind":"pith_short_8","alias_value":"HPPPELYF","created_at":"2026-05-18T12:25:55Z"}],"graph_snapshots":[{"event_id":"sha256:dcd4107b92349366d54cdd5509efd5b1eaf5e31d759f92ec975625b5e1faa725","target":"graph","created_at":"2026-05-18T03:05:36Z","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 prove two theorems which resemble the classical cohomological and homological Brown representability theorems. The main difference is that our results classify small contravariant functors from spaces to spaces up to weak equivalence of functors.\n  In more detail, we show that every small contravariant functor from spaces to spaces which takes coproducts to products up to homotopy and takes homotopy pushouts to homotopy pullbacks is naturally weekly equivalent to a representable functor.\n  The second representability theorem states: every contravariant continuous functor from ","authors_text":"Boris Chorny","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AT","submitted_at":"2007-07-06T05:35:43Z","title":"Brown representability for space-valued functors"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0707.0904","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:40283313d9bbd989c90199cdf388ee7775921a50487529c461fbfa7793ab999e","target":"record","created_at":"2026-05-18T03:05:36Z","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":"0fa3938af9c6cecdec639c8d45bbf0df337cbadd80feb53ba740160c26dceda3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AT","submitted_at":"2007-07-06T05:35:43Z","title_canon_sha256":"44b98f97894bd4c58ef6ec3fe4584723a5d3af59729def8c463b00cccab1b312"},"schema_version":"1.0","source":{"id":"0707.0904","kind":"arxiv","version":3}},"canonical_sha256":"3bdef22f051c9d02d8c43c7f7fb772ad874a4e4e9bf4dbe90bcaad6916b3898e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3bdef22f051c9d02d8c43c7f7fb772ad874a4e4e9bf4dbe90bcaad6916b3898e","first_computed_at":"2026-05-18T03:05:36.070860Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:05:36.070860Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"JJFaL/FBlZwnuTByAwBPgqdRBLP5yzs32L/9K4+TEqh56VFHeRXxIUsLNaZdolcMc4GSwYvNEVykutS4Aj+pDg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:05:36.071459Z","signed_message":"canonical_sha256_bytes"},"source_id":"0707.0904","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:40283313d9bbd989c90199cdf388ee7775921a50487529c461fbfa7793ab999e","sha256:dcd4107b92349366d54cdd5509efd5b1eaf5e31d759f92ec975625b5e1faa725"],"state_sha256":"77adfeb145bd022cfda3956cbcbc031eda09ca2d894f1ee3dbd918a940e90b16"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vDacdiSx0n2Am7/F/q2fh+Egukb3MbZGQ3C1cQJl/xLpqtiZbfKLPwGZa8WyAW3PSCHE5fD/7LvgshsHmXkBCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-20T07:38:58.682448Z","bundle_sha256":"931c6304ed85b7ff3980df9ac6d2a200975ae719a59ae4511436aecda892aaff"}}