{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2006:D6KNCE3BE76CDDXH27DZJ5X5D6","short_pith_number":"pith:D6KNCE3B","canonical_record":{"source":{"id":"math/0610194","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AT","submitted_at":"2006-10-05T14:48:41Z","cross_cats_sorted":["math.CT"],"title_canon_sha256":"b93018874d3e9d338c07bac06c9d5f7259e52da5240d580fc9207223b0f8b811","abstract_canon_sha256":"fcf2b71ebae8cae6623f8591591bfea8fcd031c72564550141df913bfc04f537"},"schema_version":"1.0"},"canonical_sha256":"1f94d1136127fc218ee7d7c794f6fd1f8f6db6106a6bbddefbcbe1b04c223a8b","source":{"kind":"arxiv","id":"math/0610194","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/0610194","created_at":"2026-07-04T15:45:20Z"},{"alias_kind":"arxiv_version","alias_value":"math/0610194v3","created_at":"2026-07-04T15:45:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0610194","created_at":"2026-07-04T15:45:20Z"},{"alias_kind":"pith_short_12","alias_value":"D6KNCE3BE76C","created_at":"2026-07-04T15:45:20Z"},{"alias_kind":"pith_short_16","alias_value":"D6KNCE3BE76CDDXH","created_at":"2026-07-04T15:45:20Z"},{"alias_kind":"pith_short_8","alias_value":"D6KNCE3B","created_at":"2026-07-04T15:45:20Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2006:D6KNCE3BE76CDDXH27DZJ5X5D6","target":"record","payload":{"canonical_record":{"source":{"id":"math/0610194","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AT","submitted_at":"2006-10-05T14:48:41Z","cross_cats_sorted":["math.CT"],"title_canon_sha256":"b93018874d3e9d338c07bac06c9d5f7259e52da5240d580fc9207223b0f8b811","abstract_canon_sha256":"fcf2b71ebae8cae6623f8591591bfea8fcd031c72564550141df913bfc04f537"},"schema_version":"1.0"},"canonical_sha256":"1f94d1136127fc218ee7d7c794f6fd1f8f6db6106a6bbddefbcbe1b04c223a8b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-04T15:45:20.238076Z","signature_b64":"MbO9tzLOCPR9QVs0yeqqjgiOwqpi75ugGAf+qVnV01wMbMRnNAuT+gUX4tqXiXWmTT7w20hZdEiAhBLJVA2HCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1f94d1136127fc218ee7d7c794f6fd1f8f6db6106a6bbddefbcbe1b04c223a8b","last_reissued_at":"2026-07-04T15:45:20.237697Z","signature_status":"signed_v1","first_computed_at":"2026-07-04T15:45:20.237697Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"math/0610194","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-07-04T15:45:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QEiZ9Q4f0PEdPlbF6eykTDwEmo5lDfoLYkBq5nW7pW+xsw0BlC0bX17HBZDnfGAXjLhGE6S+33LOjO/mOIeMAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T10:26:46.435827Z"},"content_sha256":"0587c245c2e8d31a0b9acc03fbb83b16132de00068de1f75a54d827a63943067","schema_version":"1.0","event_id":"sha256:0587c245c2e8d31a0b9acc03fbb83b16132de00068de1f75a54d827a63943067"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2006:D6KNCE3BE76CDDXH27DZJ5X5D6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Homotopy limits and colimits and enriched homotopy theory","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CT"],"primary_cat":"math.AT","authors_text":"Michael Shulman","submitted_at":"2006-10-05T14:48:41Z","abstract_excerpt":"Homotopy limits and colimits are homotopical replacements for the usual limits and colimits of category theory, which can be approached either using classical explicit constructions or the modern abstract machinery of derived functors. Our first goal in this paper is expository: we explain both approaches and a proof of their equivalence. Our second goal is to generalize this result to enriched categories and homotopy weighted limits, showing that the classical explicit constructions still give the right answer in the abstract sense. This result partially bridges the gap between classical homo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0610194","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/math/0610194/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-04T15:45:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"U3iLoKkiHfz6BSvFKhhJXQZIfzxDRdKrLTaaN5+TGl6K/lDovwwPLeIuT++cjVqkOa0mUfs5ZQ8U4zAB+X/cDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T10:26:46.436335Z"},"content_sha256":"fb8d28e6b22cb16b271aa11b5ce5f1303b8ac63c514b2cce606d5f8b7ffc31e9","schema_version":"1.0","event_id":"sha256:fb8d28e6b22cb16b271aa11b5ce5f1303b8ac63c514b2cce606d5f8b7ffc31e9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/D6KNCE3BE76CDDXH27DZJ5X5D6/bundle.json","state_url":"https://pith.science/pith/D6KNCE3BE76CDDXH27DZJ5X5D6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/D6KNCE3BE76CDDXH27DZJ5X5D6/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-05T10:26:46Z","links":{"resolver":"https://pith.science/pith/D6KNCE3BE76CDDXH27DZJ5X5D6","bundle":"https://pith.science/pith/D6KNCE3BE76CDDXH27DZJ5X5D6/bundle.json","state":"https://pith.science/pith/D6KNCE3BE76CDDXH27DZJ5X5D6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/D6KNCE3BE76CDDXH27DZJ5X5D6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2006:D6KNCE3BE76CDDXH27DZJ5X5D6","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":"fcf2b71ebae8cae6623f8591591bfea8fcd031c72564550141df913bfc04f537","cross_cats_sorted":["math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AT","submitted_at":"2006-10-05T14:48:41Z","title_canon_sha256":"b93018874d3e9d338c07bac06c9d5f7259e52da5240d580fc9207223b0f8b811"},"schema_version":"1.0","source":{"id":"math/0610194","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/0610194","created_at":"2026-07-04T15:45:20Z"},{"alias_kind":"arxiv_version","alias_value":"math/0610194v3","created_at":"2026-07-04T15:45:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0610194","created_at":"2026-07-04T15:45:20Z"},{"alias_kind":"pith_short_12","alias_value":"D6KNCE3BE76C","created_at":"2026-07-04T15:45:20Z"},{"alias_kind":"pith_short_16","alias_value":"D6KNCE3BE76CDDXH","created_at":"2026-07-04T15:45:20Z"},{"alias_kind":"pith_short_8","alias_value":"D6KNCE3B","created_at":"2026-07-04T15:45:20Z"}],"graph_snapshots":[{"event_id":"sha256:fb8d28e6b22cb16b271aa11b5ce5f1303b8ac63c514b2cce606d5f8b7ffc31e9","target":"graph","created_at":"2026-07-04T15:45:20Z","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/math/0610194/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Homotopy limits and colimits are homotopical replacements for the usual limits and colimits of category theory, which can be approached either using classical explicit constructions or the modern abstract machinery of derived functors. Our first goal in this paper is expository: we explain both approaches and a proof of their equivalence. Our second goal is to generalize this result to enriched categories and homotopy weighted limits, showing that the classical explicit constructions still give the right answer in the abstract sense. This result partially bridges the gap between classical homo","authors_text":"Michael Shulman","cross_cats":["math.CT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AT","submitted_at":"2006-10-05T14:48:41Z","title":"Homotopy limits and colimits and enriched homotopy theory"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0610194","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:0587c245c2e8d31a0b9acc03fbb83b16132de00068de1f75a54d827a63943067","target":"record","created_at":"2026-07-04T15:45:20Z","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":"fcf2b71ebae8cae6623f8591591bfea8fcd031c72564550141df913bfc04f537","cross_cats_sorted":["math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AT","submitted_at":"2006-10-05T14:48:41Z","title_canon_sha256":"b93018874d3e9d338c07bac06c9d5f7259e52da5240d580fc9207223b0f8b811"},"schema_version":"1.0","source":{"id":"math/0610194","kind":"arxiv","version":3}},"canonical_sha256":"1f94d1136127fc218ee7d7c794f6fd1f8f6db6106a6bbddefbcbe1b04c223a8b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1f94d1136127fc218ee7d7c794f6fd1f8f6db6106a6bbddefbcbe1b04c223a8b","first_computed_at":"2026-07-04T15:45:20.237697Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T15:45:20.237697Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MbO9tzLOCPR9QVs0yeqqjgiOwqpi75ugGAf+qVnV01wMbMRnNAuT+gUX4tqXiXWmTT7w20hZdEiAhBLJVA2HCA==","signature_status":"signed_v1","signed_at":"2026-07-04T15:45:20.238076Z","signed_message":"canonical_sha256_bytes"},"source_id":"math/0610194","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0587c245c2e8d31a0b9acc03fbb83b16132de00068de1f75a54d827a63943067","sha256:fb8d28e6b22cb16b271aa11b5ce5f1303b8ac63c514b2cce606d5f8b7ffc31e9"],"state_sha256":"60bc0cba962c554d13ca8f786aaf1a077801a27dd8b3a985f22bc6c319c9cfdf"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ezbBkC6/FungS5ycCcnf62ufZYixV4RItfC3UJom9XVtf1UVA8CdyrfyNiTMmWyz9L5gLAzTxbWY97nfif/pBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-05T10:26:46.439113Z","bundle_sha256":"9703584c54cf47256b9fcbc914b117394c2931ba3e9f19be5aca98db86dcee27"}}