{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:SAN24VLE7DSPMMVKZETPV5ILSF","short_pith_number":"pith:SAN24VLE","schema_version":"1.0","canonical_sha256":"901bae5564f8e4f632aac926faf50b9141dafa083cf3c4994bac70acdff2f7f8","source":{"kind":"arxiv","id":"1304.6871","version":3},"attestation_state":"computed","paper":{"title":"The theory and practice of Reedy categories","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AT"],"primary_cat":"math.CT","authors_text":"Dominic Verity, Emily Riehl","submitted_at":"2013-04-25T10:51:34Z","abstract_excerpt":"The goal of this paper is to demystify the role played by the Reedy category axioms in homotopy theory. With no assumed prerequisites beyond a healthy appetite for category theoretic arguments, we present streamlined proofs of a number of useful technical results, which are well known to folklore but difficult to find in the literature. While the results presented here are not new, our approach to their proofs is somewhat novel. Specifically, we reduce the much of the hard work involved to simpler computations involving weighted colimits and Leibniz (pushout-product) constructions. The general"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1304.6871","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2013-04-25T10:51:34Z","cross_cats_sorted":["math.AT"],"title_canon_sha256":"553dc526b5707b8e951d80361e16490f421d52830bc122163e5753ff8f4c52dc","abstract_canon_sha256":"b849f0523b9b99054b726fe7bf5fbcd8d880e5b648e7178309c4611cf231e513"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:49:46.079751Z","signature_b64":"jC4+3nI9S/HlI6Wkh7I9NZbl5c8Mm4y89OVkZRULhNUCkqDTR2BK3DunHOy3+7m4/rUeggxUPQzyD+C891/lAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"901bae5564f8e4f632aac926faf50b9141dafa083cf3c4994bac70acdff2f7f8","last_reissued_at":"2026-05-18T02:49:46.079303Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:49:46.079303Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The theory and practice of Reedy categories","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AT"],"primary_cat":"math.CT","authors_text":"Dominic Verity, Emily Riehl","submitted_at":"2013-04-25T10:51:34Z","abstract_excerpt":"The goal of this paper is to demystify the role played by the Reedy category axioms in homotopy theory. With no assumed prerequisites beyond a healthy appetite for category theoretic arguments, we present streamlined proofs of a number of useful technical results, which are well known to folklore but difficult to find in the literature. While the results presented here are not new, our approach to their proofs is somewhat novel. Specifically, we reduce the much of the hard work involved to simpler computations involving weighted colimits and Leibniz (pushout-product) constructions. The general"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.6871","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1304.6871","created_at":"2026-05-18T02:49:46.079402+00:00"},{"alias_kind":"arxiv_version","alias_value":"1304.6871v3","created_at":"2026-05-18T02:49:46.079402+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.6871","created_at":"2026-05-18T02:49:46.079402+00:00"},{"alias_kind":"pith_short_12","alias_value":"SAN24VLE7DSP","created_at":"2026-05-18T12:27:59.945178+00:00"},{"alias_kind":"pith_short_16","alias_value":"SAN24VLE7DSPMMVK","created_at":"2026-05-18T12:27:59.945178+00:00"},{"alias_kind":"pith_short_8","alias_value":"SAN24VLE","created_at":"2026-05-18T12:27:59.945178+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/SAN24VLE7DSPMMVKZETPV5ILSF","json":"https://pith.science/pith/SAN24VLE7DSPMMVKZETPV5ILSF.json","graph_json":"https://pith.science/api/pith-number/SAN24VLE7DSPMMVKZETPV5ILSF/graph.json","events_json":"https://pith.science/api/pith-number/SAN24VLE7DSPMMVKZETPV5ILSF/events.json","paper":"https://pith.science/paper/SAN24VLE"},"agent_actions":{"view_html":"https://pith.science/pith/SAN24VLE7DSPMMVKZETPV5ILSF","download_json":"https://pith.science/pith/SAN24VLE7DSPMMVKZETPV5ILSF.json","view_paper":"https://pith.science/paper/SAN24VLE","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1304.6871&json=true","fetch_graph":"https://pith.science/api/pith-number/SAN24VLE7DSPMMVKZETPV5ILSF/graph.json","fetch_events":"https://pith.science/api/pith-number/SAN24VLE7DSPMMVKZETPV5ILSF/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/SAN24VLE7DSPMMVKZETPV5ILSF/action/timestamp_anchor","attest_storage":"https://pith.science/pith/SAN24VLE7DSPMMVKZETPV5ILSF/action/storage_attestation","attest_author":"https://pith.science/pith/SAN24VLE7DSPMMVKZETPV5ILSF/action/author_attestation","sign_citation":"https://pith.science/pith/SAN24VLE7DSPMMVKZETPV5ILSF/action/citation_signature","submit_replication":"https://pith.science/pith/SAN24VLE7DSPMMVKZETPV5ILSF/action/replication_record"}},"created_at":"2026-05-18T02:49:46.079402+00:00","updated_at":"2026-05-18T02:49:46.079402+00:00"}