{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:LKESUVZAXFGQFJP5QW7ERSFZ6S","short_pith_number":"pith:LKESUVZA","schema_version":"1.0","canonical_sha256":"5a892a5720b94d02a5fd85be48c8b9f495e39386edfdccda467330e6a4ea4080","source":{"kind":"arxiv","id":"1307.6896","version":2},"attestation_state":"computed","paper":{"title":"Rigidification of Homotopy Algebras over Finite Product Sketches","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.AT","authors_text":"Bruce R. Corrigan-Salter","submitted_at":"2013-07-25T23:55:16Z","abstract_excerpt":"Multi-sorted algebraic theories provide a formalism for describing various structures on spaces that are of interest in homotopy theory. The results of Badzioch and Bergner showed that an interesting feature of this formalism is the following rigidification property. Every multi-sorted algebraic theory defines a category of homotopy algebras, i.e. a category of spaces equipped with certain structure that is to some extent homotopy invariant. Each such homotopy algebra can be replaced by a weakly equivalent strict algebra which is a purely algebraic structure on a space. The equivalence between"},"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":"1307.6896","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AT","submitted_at":"2013-07-25T23:55:16Z","cross_cats_sorted":[],"title_canon_sha256":"ebb088c31d523816157e434d65a12d76fee1cdecd9452bec5634c1bd49ea6998","abstract_canon_sha256":"413c33e4710bd43b3aaf977a7a2894be71e0d2fd3eb4b6cc4381ca2a807617b8"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:41:08.977057Z","signature_b64":"lE9g1z0iDpy2v5z1giG4LRB7dBIjCNwos6tAGF8AbkB/p6a/bt5ugwNSPfQWbmYhML4KLhfV4P4ZEXQhvJm6CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5a892a5720b94d02a5fd85be48c8b9f495e39386edfdccda467330e6a4ea4080","last_reissued_at":"2026-05-18T02:41:08.976578Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:41:08.976578Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Rigidification of Homotopy Algebras over Finite Product Sketches","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.AT","authors_text":"Bruce R. Corrigan-Salter","submitted_at":"2013-07-25T23:55:16Z","abstract_excerpt":"Multi-sorted algebraic theories provide a formalism for describing various structures on spaces that are of interest in homotopy theory. The results of Badzioch and Bergner showed that an interesting feature of this formalism is the following rigidification property. Every multi-sorted algebraic theory defines a category of homotopy algebras, i.e. a category of spaces equipped with certain structure that is to some extent homotopy invariant. Each such homotopy algebra can be replaced by a weakly equivalent strict algebra which is a purely algebraic structure on a space. The equivalence between"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1307.6896","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1307.6896","created_at":"2026-05-18T02:41:08.976653+00:00"},{"alias_kind":"arxiv_version","alias_value":"1307.6896v2","created_at":"2026-05-18T02:41:08.976653+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1307.6896","created_at":"2026-05-18T02:41:08.976653+00:00"},{"alias_kind":"pith_short_12","alias_value":"LKESUVZAXFGQ","created_at":"2026-05-18T12:27:51.066281+00:00"},{"alias_kind":"pith_short_16","alias_value":"LKESUVZAXFGQFJP5","created_at":"2026-05-18T12:27:51.066281+00:00"},{"alias_kind":"pith_short_8","alias_value":"LKESUVZA","created_at":"2026-05-18T12:27:51.066281+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/LKESUVZAXFGQFJP5QW7ERSFZ6S","json":"https://pith.science/pith/LKESUVZAXFGQFJP5QW7ERSFZ6S.json","graph_json":"https://pith.science/api/pith-number/LKESUVZAXFGQFJP5QW7ERSFZ6S/graph.json","events_json":"https://pith.science/api/pith-number/LKESUVZAXFGQFJP5QW7ERSFZ6S/events.json","paper":"https://pith.science/paper/LKESUVZA"},"agent_actions":{"view_html":"https://pith.science/pith/LKESUVZAXFGQFJP5QW7ERSFZ6S","download_json":"https://pith.science/pith/LKESUVZAXFGQFJP5QW7ERSFZ6S.json","view_paper":"https://pith.science/paper/LKESUVZA","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1307.6896&json=true","fetch_graph":"https://pith.science/api/pith-number/LKESUVZAXFGQFJP5QW7ERSFZ6S/graph.json","fetch_events":"https://pith.science/api/pith-number/LKESUVZAXFGQFJP5QW7ERSFZ6S/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/LKESUVZAXFGQFJP5QW7ERSFZ6S/action/timestamp_anchor","attest_storage":"https://pith.science/pith/LKESUVZAXFGQFJP5QW7ERSFZ6S/action/storage_attestation","attest_author":"https://pith.science/pith/LKESUVZAXFGQFJP5QW7ERSFZ6S/action/author_attestation","sign_citation":"https://pith.science/pith/LKESUVZAXFGQFJP5QW7ERSFZ6S/action/citation_signature","submit_replication":"https://pith.science/pith/LKESUVZAXFGQFJP5QW7ERSFZ6S/action/replication_record"}},"created_at":"2026-05-18T02:41:08.976653+00:00","updated_at":"2026-05-18T02:41:08.976653+00:00"}