{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:YFBGFSOMD2EJVUO4OEQQO7FMAV","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":"0acbbe59f3dc03f8fbc51a3d5d96457f1f7bc40bc0b27b6598784ffc16de29ed","cross_cats_sorted":["math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AT","submitted_at":"2015-07-06T19:08:12Z","title_canon_sha256":"c1edeb9adf67a35406ba2389ae5afbf19f30720ae0890a04f1984ce8516eab38"},"schema_version":"1.0","source":{"id":"1507.01564","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.01564","created_at":"2026-05-18T00:51:52Z"},{"alias_kind":"arxiv_version","alias_value":"1507.01564v3","created_at":"2026-05-18T00:51:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.01564","created_at":"2026-05-18T00:51:52Z"},{"alias_kind":"pith_short_12","alias_value":"YFBGFSOMD2EJ","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_16","alias_value":"YFBGFSOMD2EJVUO4","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_8","alias_value":"YFBGFSOM","created_at":"2026-05-18T12:29:50Z"}],"graph_snapshots":[{"event_id":"sha256:b7ee4dbf54f76310f590a9df87708227f70e90ce3f50fb53ffab063420f6f2b2","target":"graph","created_at":"2026-05-18T00:51:52Z","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":"The goal of this paper is to prove an equivalence between the model categorical approach to pro-categories, as studied by Isaksen, Schlank and the first author, and the $\\infty$-categorical approach, as developed by Lurie. Three applications of our main result are described. In the first application we use (a dual version of) our main result to give sufficient conditions on an $\\omega$-combinatorial model category, which insure that its underlying $\\infty$-category is $\\omega$-presentable. In the second application we consider the pro-category of simplicial \\'etale sheaves and use it to show t","authors_text":"Geoffroy Horel, Ilan Barnea, Yonatan Harpaz","cross_cats":["math.CT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AT","submitted_at":"2015-07-06T19:08:12Z","title":"Pro-categories in homotopy theory"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.01564","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:c0d3568cba86e4b6cd51c4b5e5fb06a8eb83d5bbfd1e53e5315a9fdb6c2c6854","target":"record","created_at":"2026-05-18T00:51:52Z","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":"0acbbe59f3dc03f8fbc51a3d5d96457f1f7bc40bc0b27b6598784ffc16de29ed","cross_cats_sorted":["math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AT","submitted_at":"2015-07-06T19:08:12Z","title_canon_sha256":"c1edeb9adf67a35406ba2389ae5afbf19f30720ae0890a04f1984ce8516eab38"},"schema_version":"1.0","source":{"id":"1507.01564","kind":"arxiv","version":3}},"canonical_sha256":"c14262c9cc1e889ad1dc7121077cac0570f4ffe355de81cfe1227f6d6629054a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c14262c9cc1e889ad1dc7121077cac0570f4ffe355de81cfe1227f6d6629054a","first_computed_at":"2026-05-18T00:51:52.291007Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:51:52.291007Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lLD4jHeXEJDKcKdBYd7AhAURiwuvwRdHoDqn0r+bqeMrewJxvqk011Lj77xgkZ156sCJtEcCQ6NAprpICia/DQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:51:52.291754Z","signed_message":"canonical_sha256_bytes"},"source_id":"1507.01564","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c0d3568cba86e4b6cd51c4b5e5fb06a8eb83d5bbfd1e53e5315a9fdb6c2c6854","sha256:b7ee4dbf54f76310f590a9df87708227f70e90ce3f50fb53ffab063420f6f2b2"],"state_sha256":"ce31b74141bb33f6e1d312d24adcaa1f9619961cc4b653ea2e40f931b68939cc"}