{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:IAJCL2GUY6H7EII3MMQWDDTZAU","short_pith_number":"pith:IAJCL2GU","schema_version":"1.0","canonical_sha256":"401225e8d4c78ff2211b6321618e7905175ab1fc0273e19510978cbfbfd2f58c","source":{"kind":"arxiv","id":"1707.01868","version":1},"attestation_state":"computed","paper":{"title":"Segal-type models of higher categories","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AT"],"primary_cat":"math.CT","authors_text":"Simona Paoli","submitted_at":"2017-07-06T17:04:08Z","abstract_excerpt":"Higher category theory is an exceedingly active area of research, whose rapid growth has been driven by its penetration into a diverse range of scientific fields. Its influence extends through key mathematical disciplines, notably homotopy theory, algebraic geometry and algebra, mathematical physics, to encompass important applications in logic, computer science and beyond. Higher categories provide a unifying language whose greatest strength lies in its ability to bridge between diverse areas and uncover novel applications.\n  In this foundational work we introduce a new approach to higher cat"},"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":"1707.01868","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2017-07-06T17:04:08Z","cross_cats_sorted":["math.AT"],"title_canon_sha256":"3f55e19325eb0762bfb7a7c0c3e5d806b65bb2904c0ae5501b6b790c022385f6","abstract_canon_sha256":"335f6c913c2e86ef22a22c426578815daf1856c1467eb6f5e93f9ecadf122c5f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:40:47.214903Z","signature_b64":"zqcEUKHhs8uj73UzZWXWXU3s1Pr274W0ULyzmS/W62wTYRgrc/UmSN/NG5L0ch0RTICp++b080ztStfm/DIwBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"401225e8d4c78ff2211b6321618e7905175ab1fc0273e19510978cbfbfd2f58c","last_reissued_at":"2026-05-18T00:40:47.214203Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:40:47.214203Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Segal-type models of higher categories","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AT"],"primary_cat":"math.CT","authors_text":"Simona Paoli","submitted_at":"2017-07-06T17:04:08Z","abstract_excerpt":"Higher category theory is an exceedingly active area of research, whose rapid growth has been driven by its penetration into a diverse range of scientific fields. Its influence extends through key mathematical disciplines, notably homotopy theory, algebraic geometry and algebra, mathematical physics, to encompass important applications in logic, computer science and beyond. Higher categories provide a unifying language whose greatest strength lies in its ability to bridge between diverse areas and uncover novel applications.\n  In this foundational work we introduce a new approach to higher cat"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.01868","kind":"arxiv","version":1},"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":"1707.01868","created_at":"2026-05-18T00:40:47.214293+00:00"},{"alias_kind":"arxiv_version","alias_value":"1707.01868v1","created_at":"2026-05-18T00:40:47.214293+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.01868","created_at":"2026-05-18T00:40:47.214293+00:00"},{"alias_kind":"pith_short_12","alias_value":"IAJCL2GUY6H7","created_at":"2026-05-18T12:31:21.493067+00:00"},{"alias_kind":"pith_short_16","alias_value":"IAJCL2GUY6H7EII3","created_at":"2026-05-18T12:31:21.493067+00:00"},{"alias_kind":"pith_short_8","alias_value":"IAJCL2GU","created_at":"2026-05-18T12:31:21.493067+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/IAJCL2GUY6H7EII3MMQWDDTZAU","json":"https://pith.science/pith/IAJCL2GUY6H7EII3MMQWDDTZAU.json","graph_json":"https://pith.science/api/pith-number/IAJCL2GUY6H7EII3MMQWDDTZAU/graph.json","events_json":"https://pith.science/api/pith-number/IAJCL2GUY6H7EII3MMQWDDTZAU/events.json","paper":"https://pith.science/paper/IAJCL2GU"},"agent_actions":{"view_html":"https://pith.science/pith/IAJCL2GUY6H7EII3MMQWDDTZAU","download_json":"https://pith.science/pith/IAJCL2GUY6H7EII3MMQWDDTZAU.json","view_paper":"https://pith.science/paper/IAJCL2GU","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1707.01868&json=true","fetch_graph":"https://pith.science/api/pith-number/IAJCL2GUY6H7EII3MMQWDDTZAU/graph.json","fetch_events":"https://pith.science/api/pith-number/IAJCL2GUY6H7EII3MMQWDDTZAU/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/IAJCL2GUY6H7EII3MMQWDDTZAU/action/timestamp_anchor","attest_storage":"https://pith.science/pith/IAJCL2GUY6H7EII3MMQWDDTZAU/action/storage_attestation","attest_author":"https://pith.science/pith/IAJCL2GUY6H7EII3MMQWDDTZAU/action/author_attestation","sign_citation":"https://pith.science/pith/IAJCL2GUY6H7EII3MMQWDDTZAU/action/citation_signature","submit_replication":"https://pith.science/pith/IAJCL2GUY6H7EII3MMQWDDTZAU/action/replication_record"}},"created_at":"2026-05-18T00:40:47.214293+00:00","updated_at":"2026-05-18T00:40:47.214293+00:00"}