{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:TDMLEGBEY62ZT7BV4NDHLGHMBN","short_pith_number":"pith:TDMLEGBE","canonical_record":{"source":{"id":"1707.03693","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2017-07-12T13:05:40Z","cross_cats_sorted":[],"title_canon_sha256":"be5d041f3daf5066267de6c059863c7df60ecebbafdec8a2054be3a9be03ca64","abstract_canon_sha256":"1ae25638fd1d13c7e49230d0358bbe5c6452b8660b958c74320f2c349f8535dc"},"schema_version":"1.0"},"canonical_sha256":"98d8b21824c7b599fc35e3467598ec0b7a84188f7289c6862dd12805fe6722ab","source":{"kind":"arxiv","id":"1707.03693","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.03693","created_at":"2026-05-18T00:31:50Z"},{"alias_kind":"arxiv_version","alias_value":"1707.03693v4","created_at":"2026-05-18T00:31:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.03693","created_at":"2026-05-18T00:31:50Z"},{"alias_kind":"pith_short_12","alias_value":"TDMLEGBEY62Z","created_at":"2026-05-18T12:31:46Z"},{"alias_kind":"pith_short_16","alias_value":"TDMLEGBEY62ZT7BV","created_at":"2026-05-18T12:31:46Z"},{"alias_kind":"pith_short_8","alias_value":"TDMLEGBE","created_at":"2026-05-18T12:31:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:TDMLEGBEY62ZT7BV4NDHLGHMBN","target":"record","payload":{"canonical_record":{"source":{"id":"1707.03693","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2017-07-12T13:05:40Z","cross_cats_sorted":[],"title_canon_sha256":"be5d041f3daf5066267de6c059863c7df60ecebbafdec8a2054be3a9be03ca64","abstract_canon_sha256":"1ae25638fd1d13c7e49230d0358bbe5c6452b8660b958c74320f2c349f8535dc"},"schema_version":"1.0"},"canonical_sha256":"98d8b21824c7b599fc35e3467598ec0b7a84188f7289c6862dd12805fe6722ab","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:31:50.732721Z","signature_b64":"1SsVrnR7OEhhDDSssgxjRamy0RppMAw/A6OjDPhAPWjuH4MP3ugxKXhkcuzr/eKR1hfOz0oRJco0FMrjEJGLAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"98d8b21824c7b599fc35e3467598ec0b7a84188f7289c6862dd12805fe6722ab","last_reissued_at":"2026-05-18T00:31:50.732138Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:31:50.732138Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1707.03693","source_version":4,"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-18T00:31:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MZgEKM1l4qPVPPSNV+hkjUV2ZFkx4ZKbdg3BMYJPUmlWpUKny7bbn4D9YBpMoOEpuetI8MP159SyZsvedlylCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-01T23:46:23.839481Z"},"content_sha256":"03ab09fd9ca88d548d045b00a78e3cae6b9f5d17f5ee48b5cace3378f15d9cc3","schema_version":"1.0","event_id":"sha256:03ab09fd9ca88d548d045b00a78e3cae6b9f5d17f5ee48b5cace3378f15d9cc3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:TDMLEGBEY62ZT7BV4NDHLGHMBN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Univalent Higher Categories via Complete Semi-Segal Types","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"Nicolai Kraus, Paolo Capriotti","submitted_at":"2017-07-12T13:05:40Z","abstract_excerpt":"Category theory in homotopy type theory is intricate as categorical laws can only be stated \"up to homotopy\", and thus require coherences. The established notion of a univalent category (Ahrens, Kapulkin, Shulman) solves this by considering only truncated types, roughly corresponding to an ordinary category. This fails to capture many naturally occurring structures, stemming from the fact that the naturally occurring structures in homotopy type theory are not ordinary, but rather higher categories.\n  Out of the large variety of approaches to higher category theory that mathematicians have prop"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.03693","kind":"arxiv","version":4},"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-18T00:31:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WA77w3Fx4nVDWcxNmuL6P0V+SNMdNE0k04HnoSOKfJpNPs9b7k+2CYHtEfYrX82Km4CnfP1WyiX/ZULmP4loCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-01T23:46:23.840083Z"},"content_sha256":"2fb29438eda370b3946964c1f9a49a35c8cb4a31f6be5708488c24cdc7530612","schema_version":"1.0","event_id":"sha256:2fb29438eda370b3946964c1f9a49a35c8cb4a31f6be5708488c24cdc7530612"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TDMLEGBEY62ZT7BV4NDHLGHMBN/bundle.json","state_url":"https://pith.science/pith/TDMLEGBEY62ZT7BV4NDHLGHMBN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TDMLEGBEY62ZT7BV4NDHLGHMBN/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-07-01T23:46:23Z","links":{"resolver":"https://pith.science/pith/TDMLEGBEY62ZT7BV4NDHLGHMBN","bundle":"https://pith.science/pith/TDMLEGBEY62ZT7BV4NDHLGHMBN/bundle.json","state":"https://pith.science/pith/TDMLEGBEY62ZT7BV4NDHLGHMBN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TDMLEGBEY62ZT7BV4NDHLGHMBN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:TDMLEGBEY62ZT7BV4NDHLGHMBN","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":"1ae25638fd1d13c7e49230d0358bbe5c6452b8660b958c74320f2c349f8535dc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2017-07-12T13:05:40Z","title_canon_sha256":"be5d041f3daf5066267de6c059863c7df60ecebbafdec8a2054be3a9be03ca64"},"schema_version":"1.0","source":{"id":"1707.03693","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.03693","created_at":"2026-05-18T00:31:50Z"},{"alias_kind":"arxiv_version","alias_value":"1707.03693v4","created_at":"2026-05-18T00:31:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.03693","created_at":"2026-05-18T00:31:50Z"},{"alias_kind":"pith_short_12","alias_value":"TDMLEGBEY62Z","created_at":"2026-05-18T12:31:46Z"},{"alias_kind":"pith_short_16","alias_value":"TDMLEGBEY62ZT7BV","created_at":"2026-05-18T12:31:46Z"},{"alias_kind":"pith_short_8","alias_value":"TDMLEGBE","created_at":"2026-05-18T12:31:46Z"}],"graph_snapshots":[{"event_id":"sha256:2fb29438eda370b3946964c1f9a49a35c8cb4a31f6be5708488c24cdc7530612","target":"graph","created_at":"2026-05-18T00:31:50Z","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":"Category theory in homotopy type theory is intricate as categorical laws can only be stated \"up to homotopy\", and thus require coherences. The established notion of a univalent category (Ahrens, Kapulkin, Shulman) solves this by considering only truncated types, roughly corresponding to an ordinary category. This fails to capture many naturally occurring structures, stemming from the fact that the naturally occurring structures in homotopy type theory are not ordinary, but rather higher categories.\n  Out of the large variety of approaches to higher category theory that mathematicians have prop","authors_text":"Nicolai Kraus, Paolo Capriotti","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2017-07-12T13:05:40Z","title":"Univalent Higher Categories via Complete Semi-Segal Types"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.03693","kind":"arxiv","version":4},"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:03ab09fd9ca88d548d045b00a78e3cae6b9f5d17f5ee48b5cace3378f15d9cc3","target":"record","created_at":"2026-05-18T00:31:50Z","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":"1ae25638fd1d13c7e49230d0358bbe5c6452b8660b958c74320f2c349f8535dc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2017-07-12T13:05:40Z","title_canon_sha256":"be5d041f3daf5066267de6c059863c7df60ecebbafdec8a2054be3a9be03ca64"},"schema_version":"1.0","source":{"id":"1707.03693","kind":"arxiv","version":4}},"canonical_sha256":"98d8b21824c7b599fc35e3467598ec0b7a84188f7289c6862dd12805fe6722ab","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"98d8b21824c7b599fc35e3467598ec0b7a84188f7289c6862dd12805fe6722ab","first_computed_at":"2026-05-18T00:31:50.732138Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:31:50.732138Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1SsVrnR7OEhhDDSssgxjRamy0RppMAw/A6OjDPhAPWjuH4MP3ugxKXhkcuzr/eKR1hfOz0oRJco0FMrjEJGLAA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:31:50.732721Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.03693","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:03ab09fd9ca88d548d045b00a78e3cae6b9f5d17f5ee48b5cace3378f15d9cc3","sha256:2fb29438eda370b3946964c1f9a49a35c8cb4a31f6be5708488c24cdc7530612"],"state_sha256":"07aa6387837f73a48cb6cda80a62570121c7438c2d68b25702de3b072389145d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"I9uAqAC1r8MLO8NKKzPDtUngdLo4IQhmqfqb4xDKm4rpnjbaYVhCCgdGBVcZtBPOCezKFVEX78hcy6ELE56JDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-01T23:46:23.843445Z","bundle_sha256":"83ec0196b39f0dd9046f4722cdff2d06081770b6303322bd9db2ae97843a2d08"}}