{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:TWRQDHOZRE34HAO42NOIXBSYPG","short_pith_number":"pith:TWRQDHOZ","schema_version":"1.0","canonical_sha256":"9da3019dd98937c381dcd35c8b865879b307652960e83b88003f452aaec8800a","source":{"kind":"arxiv","id":"1306.5144","version":4},"attestation_state":"computed","paper":{"title":"The 2-category theory of quasi-categories","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AT"],"primary_cat":"math.CT","authors_text":"Dominic Verity, Emily Riehl","submitted_at":"2013-06-21T14:06:32Z","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"},"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":"1306.5144","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2013-06-21T14:06:32Z","cross_cats_sorted":["math.AT"],"title_canon_sha256":"ca830fa1fe664c74a30d5ab7c0704c840006d0ea60e6a4ab1744c4a89a63dd1a","abstract_canon_sha256":"22e1ad29fbe88e45a32c95f7f3f1f4a47b448a155cb3d395fa975f023b483b65"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:46:14.364579Z","signature_b64":"F3U7oUhzUgmYNFhYyZb2BeNj4JXzWIH3T34xrdQfpRQOzfrhyq7rto82jLo22sRREnfNjdjruPhR/m2cuGO1DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9da3019dd98937c381dcd35c8b865879b307652960e83b88003f452aaec8800a","last_reissued_at":"2026-05-18T01:46:14.363850Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:46:14.363850Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The 2-category theory of quasi-categories","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AT"],"primary_cat":"math.CT","authors_text":"Dominic Verity, Emily Riehl","submitted_at":"2013-06-21T14:06:32Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1306.5144","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1306.5144","created_at":"2026-05-18T01:46:14.363977+00:00"},{"alias_kind":"arxiv_version","alias_value":"1306.5144v4","created_at":"2026-05-18T01:46:14.363977+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1306.5144","created_at":"2026-05-18T01:46:14.363977+00:00"},{"alias_kind":"pith_short_12","alias_value":"TWRQDHOZRE34","created_at":"2026-05-18T12:28:02.375192+00:00"},{"alias_kind":"pith_short_16","alias_value":"TWRQDHOZRE34HAO4","created_at":"2026-05-18T12:28:02.375192+00:00"},{"alias_kind":"pith_short_8","alias_value":"TWRQDHOZ","created_at":"2026-05-18T12:28:02.375192+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/TWRQDHOZRE34HAO42NOIXBSYPG","json":"https://pith.science/pith/TWRQDHOZRE34HAO42NOIXBSYPG.json","graph_json":"https://pith.science/api/pith-number/TWRQDHOZRE34HAO42NOIXBSYPG/graph.json","events_json":"https://pith.science/api/pith-number/TWRQDHOZRE34HAO42NOIXBSYPG/events.json","paper":"https://pith.science/paper/TWRQDHOZ"},"agent_actions":{"view_html":"https://pith.science/pith/TWRQDHOZRE34HAO42NOIXBSYPG","download_json":"https://pith.science/pith/TWRQDHOZRE34HAO42NOIXBSYPG.json","view_paper":"https://pith.science/paper/TWRQDHOZ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1306.5144&json=true","fetch_graph":"https://pith.science/api/pith-number/TWRQDHOZRE34HAO42NOIXBSYPG/graph.json","fetch_events":"https://pith.science/api/pith-number/TWRQDHOZRE34HAO42NOIXBSYPG/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/TWRQDHOZRE34HAO42NOIXBSYPG/action/timestamp_anchor","attest_storage":"https://pith.science/pith/TWRQDHOZRE34HAO42NOIXBSYPG/action/storage_attestation","attest_author":"https://pith.science/pith/TWRQDHOZRE34HAO42NOIXBSYPG/action/author_attestation","sign_citation":"https://pith.science/pith/TWRQDHOZRE34HAO42NOIXBSYPG/action/citation_signature","submit_replication":"https://pith.science/pith/TWRQDHOZRE34HAO42NOIXBSYPG/action/replication_record"}},"created_at":"2026-05-18T01:46:14.363977+00:00","updated_at":"2026-05-18T01:46:14.363977+00:00"}