{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:QUETJFBIMSWAX6C5JGBZLQTZMU","short_pith_number":"pith:QUETJFBI","canonical_record":{"source":{"id":"1512.04083","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2015-12-13T17:07:51Z","cross_cats_sorted":["math.AT","math.LO"],"title_canon_sha256":"c3f75f9695823814e253a517363f14f84a251c1564e75eadc80b810525f34579","abstract_canon_sha256":"129d5b0c6b79769db8ea19008d962109eebf46a115376339afde519328fc0fad"},"schema_version":"1.0"},"canonical_sha256":"850934942864ac0bf85d498395c27965086c0522a869d7bb63c8c0062374ea20","source":{"kind":"arxiv","id":"1512.04083","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1512.04083","created_at":"2026-05-18T01:17:18Z"},{"alias_kind":"arxiv_version","alias_value":"1512.04083v3","created_at":"2026-05-18T01:17:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1512.04083","created_at":"2026-05-18T01:17:18Z"},{"alias_kind":"pith_short_12","alias_value":"QUETJFBIMSWA","created_at":"2026-05-18T12:29:39Z"},{"alias_kind":"pith_short_16","alias_value":"QUETJFBIMSWAX6C5","created_at":"2026-05-18T12:29:39Z"},{"alias_kind":"pith_short_8","alias_value":"QUETJFBI","created_at":"2026-05-18T12:29:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:QUETJFBIMSWAX6C5JGBZLQTZMU","target":"record","payload":{"canonical_record":{"source":{"id":"1512.04083","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2015-12-13T17:07:51Z","cross_cats_sorted":["math.AT","math.LO"],"title_canon_sha256":"c3f75f9695823814e253a517363f14f84a251c1564e75eadc80b810525f34579","abstract_canon_sha256":"129d5b0c6b79769db8ea19008d962109eebf46a115376339afde519328fc0fad"},"schema_version":"1.0"},"canonical_sha256":"850934942864ac0bf85d498395c27965086c0522a869d7bb63c8c0062374ea20","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:17:18.060035Z","signature_b64":"5icMzVq9OFweaowQqQkfh3K8VcKGvgHAgo0WOk+geUaoKR4hmqzQJBrtQrc0LBPV4kt3beub3IIzCH3UDWw6DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"850934942864ac0bf85d498395c27965086c0522a869d7bb63c8c0062374ea20","last_reissued_at":"2026-05-18T01:17:18.059537Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:17:18.059537Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1512.04083","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-05-18T01:17:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JF05hSQtb4mpwsjNYLBqqG1T8UfELIg8nMmXl/Vue8afF+9/lG3exEzZjmkYPuOFPzf94hE7Lm9g3XtZcVeQAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T14:44:31.154715Z"},"content_sha256":"efba274f031de04db414a6c6d2f8de2027a50f1742e1770a8e2bb64995c5ba21","schema_version":"1.0","event_id":"sha256:efba274f031de04db414a6c6d2f8de2027a50f1742e1770a8e2bb64995c5ba21"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:QUETJFBIMSWAX6C5JGBZLQTZMU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On lifting univalence to the equivariant setting","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AT","math.LO"],"primary_cat":"math.CT","authors_text":"Anthony Bordg","submitted_at":"2015-12-13T17:07:51Z","abstract_excerpt":"This PhD thesis deals with some new models of intensional type theory and the Univalence Axiom introduced by Vladimir Voevodsky. Our work takes place in the framework of the definitions of type-theoretic fibration categories (the notion of model under consideration in this thesis) and universe in a type-theoretic fibration category, definitions due to Michael Shulman. The goal of this thesis consists mainly in the exploration of the stability of the univalence axiom, in particular in the following sense: being given a type-theoretic fibration category C equipped with a univalent universe U, we"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1512.04083","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"},"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-05-18T01:17:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RgxzyCHC60yXW7lfTA9M7ApD7aiLL6EiZbp1MWlPHHsSutyOE9QGgKcdtmWXHF66REiqOWaYFuhJmbT4J1hNCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T14:44:31.155099Z"},"content_sha256":"5f2d84734e0044cc56eea1a026d4c9552c5ec9f72c724d7a910d7c42c4eccda1","schema_version":"1.0","event_id":"sha256:5f2d84734e0044cc56eea1a026d4c9552c5ec9f72c724d7a910d7c42c4eccda1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QUETJFBIMSWAX6C5JGBZLQTZMU/bundle.json","state_url":"https://pith.science/pith/QUETJFBIMSWAX6C5JGBZLQTZMU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QUETJFBIMSWAX6C5JGBZLQTZMU/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-06-05T14:44:31Z","links":{"resolver":"https://pith.science/pith/QUETJFBIMSWAX6C5JGBZLQTZMU","bundle":"https://pith.science/pith/QUETJFBIMSWAX6C5JGBZLQTZMU/bundle.json","state":"https://pith.science/pith/QUETJFBIMSWAX6C5JGBZLQTZMU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QUETJFBIMSWAX6C5JGBZLQTZMU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:QUETJFBIMSWAX6C5JGBZLQTZMU","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":"129d5b0c6b79769db8ea19008d962109eebf46a115376339afde519328fc0fad","cross_cats_sorted":["math.AT","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2015-12-13T17:07:51Z","title_canon_sha256":"c3f75f9695823814e253a517363f14f84a251c1564e75eadc80b810525f34579"},"schema_version":"1.0","source":{"id":"1512.04083","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1512.04083","created_at":"2026-05-18T01:17:18Z"},{"alias_kind":"arxiv_version","alias_value":"1512.04083v3","created_at":"2026-05-18T01:17:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1512.04083","created_at":"2026-05-18T01:17:18Z"},{"alias_kind":"pith_short_12","alias_value":"QUETJFBIMSWA","created_at":"2026-05-18T12:29:39Z"},{"alias_kind":"pith_short_16","alias_value":"QUETJFBIMSWAX6C5","created_at":"2026-05-18T12:29:39Z"},{"alias_kind":"pith_short_8","alias_value":"QUETJFBI","created_at":"2026-05-18T12:29:39Z"}],"graph_snapshots":[{"event_id":"sha256:5f2d84734e0044cc56eea1a026d4c9552c5ec9f72c724d7a910d7c42c4eccda1","target":"graph","created_at":"2026-05-18T01:17:18Z","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":"This PhD thesis deals with some new models of intensional type theory and the Univalence Axiom introduced by Vladimir Voevodsky. Our work takes place in the framework of the definitions of type-theoretic fibration categories (the notion of model under consideration in this thesis) and universe in a type-theoretic fibration category, definitions due to Michael Shulman. The goal of this thesis consists mainly in the exploration of the stability of the univalence axiom, in particular in the following sense: being given a type-theoretic fibration category C equipped with a univalent universe U, we","authors_text":"Anthony Bordg","cross_cats":["math.AT","math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2015-12-13T17:07:51Z","title":"On lifting univalence to the equivariant setting"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1512.04083","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:efba274f031de04db414a6c6d2f8de2027a50f1742e1770a8e2bb64995c5ba21","target":"record","created_at":"2026-05-18T01:17:18Z","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":"129d5b0c6b79769db8ea19008d962109eebf46a115376339afde519328fc0fad","cross_cats_sorted":["math.AT","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2015-12-13T17:07:51Z","title_canon_sha256":"c3f75f9695823814e253a517363f14f84a251c1564e75eadc80b810525f34579"},"schema_version":"1.0","source":{"id":"1512.04083","kind":"arxiv","version":3}},"canonical_sha256":"850934942864ac0bf85d498395c27965086c0522a869d7bb63c8c0062374ea20","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"850934942864ac0bf85d498395c27965086c0522a869d7bb63c8c0062374ea20","first_computed_at":"2026-05-18T01:17:18.059537Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:17:18.059537Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5icMzVq9OFweaowQqQkfh3K8VcKGvgHAgo0WOk+geUaoKR4hmqzQJBrtQrc0LBPV4kt3beub3IIzCH3UDWw6DQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:17:18.060035Z","signed_message":"canonical_sha256_bytes"},"source_id":"1512.04083","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:efba274f031de04db414a6c6d2f8de2027a50f1742e1770a8e2bb64995c5ba21","sha256:5f2d84734e0044cc56eea1a026d4c9552c5ec9f72c724d7a910d7c42c4eccda1"],"state_sha256":"4f610a2116d9e4afc178fadfc42463088b2fe414b1a3c4747c1c628f549f96c6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9gnkl5ahe7VMKafewadBfPnxAhnRWri8Ha0PiTHLKV61awXvfcRoTSPgnNVVqJLfBGN+lRozq4lCnjiJ+xI4Bw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T14:44:31.157115Z","bundle_sha256":"09fee8b70d42421134c4f676e261492a19a846992c59f2c2e2c9a0b31ec7b5d7"}}