{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:TWRQDHOZRE34HAO42NOIXBSYPG","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":"22e1ad29fbe88e45a32c95f7f3f1f4a47b448a155cb3d395fa975f023b483b65","cross_cats_sorted":["math.AT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2013-06-21T14:06:32Z","title_canon_sha256":"ca830fa1fe664c74a30d5ab7c0704c840006d0ea60e6a4ab1744c4a89a63dd1a"},"schema_version":"1.0","source":{"id":"1306.5144","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1306.5144","created_at":"2026-05-18T01:46:14Z"},{"alias_kind":"arxiv_version","alias_value":"1306.5144v4","created_at":"2026-05-18T01:46:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1306.5144","created_at":"2026-05-18T01:46:14Z"},{"alias_kind":"pith_short_12","alias_value":"TWRQDHOZRE34","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_16","alias_value":"TWRQDHOZRE34HAO4","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_8","alias_value":"TWRQDHOZ","created_at":"2026-05-18T12:28:02Z"}],"graph_snapshots":[{"event_id":"sha256:2a950f42dce88b38587573903b73279593e7f8762604cdbd40de5ecc58a0e8cd","target":"graph","created_at":"2026-05-18T01:46:14Z","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":"In this paper we redevelop the foundations of the category theory of quasi-categories (also called infinity-categories) using 2-category theory. We show that Joyal's strict 2-category of quasi-categories admits certain weak 2-limits, among them weak comma objects. We use these comma quasi-categories to encode universal properties relevant to limits, colimits, and adjunctions and prove the expected theorems relating these notions. These universal properties have an alternate form as absolute lifting diagrams in the 2-category, which we show are determined pointwise by the existence of certain i","authors_text":"Dominic Verity, Emily Riehl","cross_cats":["math.AT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2013-06-21T14:06:32Z","title":"The 2-category theory of quasi-categories"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1306.5144","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:ed66c8a10d3695042e719f1f49233ff5d5a75f57a0c6e46b3457836f716ae310","target":"record","created_at":"2026-05-18T01:46:14Z","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":"22e1ad29fbe88e45a32c95f7f3f1f4a47b448a155cb3d395fa975f023b483b65","cross_cats_sorted":["math.AT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2013-06-21T14:06:32Z","title_canon_sha256":"ca830fa1fe664c74a30d5ab7c0704c840006d0ea60e6a4ab1744c4a89a63dd1a"},"schema_version":"1.0","source":{"id":"1306.5144","kind":"arxiv","version":4}},"canonical_sha256":"9da3019dd98937c381dcd35c8b865879b307652960e83b88003f452aaec8800a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9da3019dd98937c381dcd35c8b865879b307652960e83b88003f452aaec8800a","first_computed_at":"2026-05-18T01:46:14.363850Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:46:14.363850Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"F3U7oUhzUgmYNFhYyZb2BeNj4JXzWIH3T34xrdQfpRQOzfrhyq7rto82jLo22sRREnfNjdjruPhR/m2cuGO1DA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:46:14.364579Z","signed_message":"canonical_sha256_bytes"},"source_id":"1306.5144","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ed66c8a10d3695042e719f1f49233ff5d5a75f57a0c6e46b3457836f716ae310","sha256:2a950f42dce88b38587573903b73279593e7f8762604cdbd40de5ecc58a0e8cd"],"state_sha256":"345c9cf103a2de19cb4b71feb7c8b0970ba83697f4b416ba496d8e47cc8ef2ca"}