{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:SCVFZZTXTXSXURYLLEMEBQQ5ML","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":"ae3010e250c834e69fb3fecbed56a64aca645b0f6659425aaf43a994db74ce95","cross_cats_sorted":["cs.LO","math.AT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-10-20T21:35:06Z","title_canon_sha256":"2920d852799038d7553c1d16fe74ec7f17c6c400181f78efd99b225dd2e125a2"},"schema_version":"1.0","source":{"id":"1210.5658","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1210.5658","created_at":"2026-05-18T03:42:43Z"},{"alias_kind":"arxiv_version","alias_value":"1210.5658v1","created_at":"2026-05-18T03:42:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.5658","created_at":"2026-05-18T03:42:43Z"},{"alias_kind":"pith_short_12","alias_value":"SCVFZZTXTXSX","created_at":"2026-05-18T12:27:20Z"},{"alias_kind":"pith_short_16","alias_value":"SCVFZZTXTXSXURYL","created_at":"2026-05-18T12:27:20Z"},{"alias_kind":"pith_short_8","alias_value":"SCVFZZTX","created_at":"2026-05-18T12:27:20Z"}],"graph_snapshots":[{"event_id":"sha256:1a25afd629338aaa065d06720035629dbbc826a7c2eb00dcc762efbe49cf46c8","target":"graph","created_at":"2026-05-18T03:42:43Z","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":"Recent discoveries have been made connecting abstract homotopy theory and the field of type theory from logic and theoretical computer science. This has given rise to a new field, which has been christened \"homotopy type theory\". In this direction, Vladimir Voevodsky observed that it is possible to model type theory using simplicial sets and that this model satisfies an additional property, called the Univalence Axiom, which has a number of striking consequences. He has subsequently advocated a program, which he calls univalent foundations, of developing mathematics in the setting of type theo","authors_text":"\\'Alvaro Pelayo, Michael A. Warren","cross_cats":["cs.LO","math.AT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-10-20T21:35:06Z","title":"Homotopy type theory and Voevodsky's univalent foundations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.5658","kind":"arxiv","version":1},"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:4f4390e2dd41e135423ef53879de501ca0e9a87a64d8ac49925a1d67eb04ca0b","target":"record","created_at":"2026-05-18T03:42:43Z","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":"ae3010e250c834e69fb3fecbed56a64aca645b0f6659425aaf43a994db74ce95","cross_cats_sorted":["cs.LO","math.AT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-10-20T21:35:06Z","title_canon_sha256":"2920d852799038d7553c1d16fe74ec7f17c6c400181f78efd99b225dd2e125a2"},"schema_version":"1.0","source":{"id":"1210.5658","kind":"arxiv","version":1}},"canonical_sha256":"90aa5ce6779de57a470b591840c21d62fd62b902328c0727bda47b77745f05a5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"90aa5ce6779de57a470b591840c21d62fd62b902328c0727bda47b77745f05a5","first_computed_at":"2026-05-18T03:42:43.420820Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:42:43.420820Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"G8ANqosuPGOcUKf7pFU5TsykQguSKf0y7rTiA/wnOfXWmFWrp2pmaLPbChAyS5S5zAItg7WsPS3Y9A+33QZZDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:42:43.421596Z","signed_message":"canonical_sha256_bytes"},"source_id":"1210.5658","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4f4390e2dd41e135423ef53879de501ca0e9a87a64d8ac49925a1d67eb04ca0b","sha256:1a25afd629338aaa065d06720035629dbbc826a7c2eb00dcc762efbe49cf46c8"],"state_sha256":"d6e79a2c88956d9a8989f4abe5259c635d7da3d38a7cde3aa13b9d672d98db8e"}