{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:MXU6SZTWHOVKG4UXMR2ILT5KMK","short_pith_number":"pith:MXU6SZTW","schema_version":"1.0","canonical_sha256":"65e9e966763baaa37297647485cfaa628409c918fbcb3f0d76ee8ff9a69cfd88","source":{"kind":"arxiv","id":"2203.07194","version":5},"attestation_state":"computed","paper":{"title":"Strict stability of extension types","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO","math.LO"],"primary_cat":"math.CT","authors_text":"Jonathan Weinberger","submitted_at":"2022-03-14T15:34:19Z","abstract_excerpt":"The theory of $(\\infty,1)$-categories can be developed synthetically in an augmentation of homotopy type theory introduced by Riehl--Shulman. Central to their development is an additional type forming operation called extensions. The original article sketches the semantics of this formal system, explaining how the simplicial homotopy theory can be used to reason about $(\\infty,1)$-categories presented using the Segal space model. However, they leave it open to demonstrate the strict stability of extension types. We prove this using the splitting method of Voevodsky, later generalized by Lumsda"},"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":"2203.07194","kind":"arxiv","version":5},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2022-03-14T15:34:19Z","cross_cats_sorted":["cs.LO","math.LO"],"title_canon_sha256":"b32b369016805782f244009822d8c979567bcc2b8743e3f6a1038d8f0367e3ad","abstract_canon_sha256":"475a446f7f4ce8903a6b07acb0d07ad9cb5ef319208957ab94c2408a529652af"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-09T01:05:02.222884Z","signature_b64":"6DYaJA45AycjDlYjUXtxw5YPP2jHyQKAQaLGCaHpTscA4Qtv++277/KVnNigLuil7uTbjt8d5Gp876vUy+0uCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"65e9e966763baaa37297647485cfaa628409c918fbcb3f0d76ee8ff9a69cfd88","last_reissued_at":"2026-06-09T01:05:02.222432Z","signature_status":"signed_v1","first_computed_at":"2026-06-09T01:05:02.222432Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Strict stability of extension types","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO","math.LO"],"primary_cat":"math.CT","authors_text":"Jonathan Weinberger","submitted_at":"2022-03-14T15:34:19Z","abstract_excerpt":"The theory of $(\\infty,1)$-categories can be developed synthetically in an augmentation of homotopy type theory introduced by Riehl--Shulman. Central to their development is an additional type forming operation called extensions. The original article sketches the semantics of this formal system, explaining how the simplicial homotopy theory can be used to reason about $(\\infty,1)$-categories presented using the Segal space model. However, they leave it open to demonstrate the strict stability of extension types. We prove this using the splitting method of Voevodsky, later generalized by Lumsda"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2203.07194","kind":"arxiv","version":5},"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/2203.07194/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2203.07194","created_at":"2026-06-09T01:05:02.222488+00:00"},{"alias_kind":"arxiv_version","alias_value":"2203.07194v5","created_at":"2026-06-09T01:05:02.222488+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2203.07194","created_at":"2026-06-09T01:05:02.222488+00:00"},{"alias_kind":"pith_short_12","alias_value":"MXU6SZTWHOVK","created_at":"2026-06-09T01:05:02.222488+00:00"},{"alias_kind":"pith_short_16","alias_value":"MXU6SZTWHOVKG4UX","created_at":"2026-06-09T01:05:02.222488+00:00"},{"alias_kind":"pith_short_8","alias_value":"MXU6SZTW","created_at":"2026-06-09T01:05:02.222488+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/MXU6SZTWHOVKG4UXMR2ILT5KMK","json":"https://pith.science/pith/MXU6SZTWHOVKG4UXMR2ILT5KMK.json","graph_json":"https://pith.science/api/pith-number/MXU6SZTWHOVKG4UXMR2ILT5KMK/graph.json","events_json":"https://pith.science/api/pith-number/MXU6SZTWHOVKG4UXMR2ILT5KMK/events.json","paper":"https://pith.science/paper/MXU6SZTW"},"agent_actions":{"view_html":"https://pith.science/pith/MXU6SZTWHOVKG4UXMR2ILT5KMK","download_json":"https://pith.science/pith/MXU6SZTWHOVKG4UXMR2ILT5KMK.json","view_paper":"https://pith.science/paper/MXU6SZTW","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2203.07194&json=true","fetch_graph":"https://pith.science/api/pith-number/MXU6SZTWHOVKG4UXMR2ILT5KMK/graph.json","fetch_events":"https://pith.science/api/pith-number/MXU6SZTWHOVKG4UXMR2ILT5KMK/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/MXU6SZTWHOVKG4UXMR2ILT5KMK/action/timestamp_anchor","attest_storage":"https://pith.science/pith/MXU6SZTWHOVKG4UXMR2ILT5KMK/action/storage_attestation","attest_author":"https://pith.science/pith/MXU6SZTWHOVKG4UXMR2ILT5KMK/action/author_attestation","sign_citation":"https://pith.science/pith/MXU6SZTWHOVKG4UXMR2ILT5KMK/action/citation_signature","submit_replication":"https://pith.science/pith/MXU6SZTWHOVKG4UXMR2ILT5KMK/action/replication_record"}},"created_at":"2026-06-09T01:05:02.222488+00:00","updated_at":"2026-06-09T01:05:02.222488+00:00"}