{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:PN5GV7XAHZJR4A6H4EQ4VRZKDU","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":"8dde0a321b1d79578b64605077c53cace48ca4c185c0e3f5551023c1035b910c","cross_cats_sorted":["math.AT","math.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2015-10-02T18:11:46Z","title_canon_sha256":"161aaa8e0627ed3e3224403e7ef83f22f3e1298e643ea3f9a44f96897cdce275"},"schema_version":"1.0","source":{"id":"1510.00669","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1510.00669","created_at":"2026-05-18T00:34:10Z"},{"alias_kind":"arxiv_version","alias_value":"1510.00669v5","created_at":"2026-05-18T00:34:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1510.00669","created_at":"2026-05-18T00:34:10Z"},{"alias_kind":"pith_short_12","alias_value":"PN5GV7XAHZJR","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_16","alias_value":"PN5GV7XAHZJR4A6H","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_8","alias_value":"PN5GV7XA","created_at":"2026-05-18T12:29:37Z"}],"graph_snapshots":[{"event_id":"sha256:9f69ab16a3eb1c205db63596f530134a489b89c91f9743f8da9ef28dcddd68d4","target":"graph","created_at":"2026-05-18T00:34:10Z","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":"We develop further the theory of weak factorization systems and algebraic weak factorization systems. In particular, we give a method for constructing (algebraic) weak factorization systems whose right maps can be thought of as (uniform) fibrations and that satisfy the (functorial) Frobenius condition. As applications, we obtain a new proof that the Quillen model structure for Kan complexes is right proper, avoiding entirely the use of topological realization and minimal fibrations, and we solve an open problem in the study of Voevodsky's simplicial model of type theory, proving a constructive","authors_text":"Christian Sattler, Nicola Gambino","cross_cats":["math.AT","math.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2015-10-02T18:11:46Z","title":"The Frobenius Condition, Right Properness, and Uniform Fibrations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1510.00669","kind":"arxiv","version":5},"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:4e46b30847c8929411ce02b5ff0e69c6685fa2bd73b29343c454fc49340adbf4","target":"record","created_at":"2026-05-18T00:34:10Z","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":"8dde0a321b1d79578b64605077c53cace48ca4c185c0e3f5551023c1035b910c","cross_cats_sorted":["math.AT","math.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2015-10-02T18:11:46Z","title_canon_sha256":"161aaa8e0627ed3e3224403e7ef83f22f3e1298e643ea3f9a44f96897cdce275"},"schema_version":"1.0","source":{"id":"1510.00669","kind":"arxiv","version":5}},"canonical_sha256":"7b7a6afee03e531e03c7e121cac72a1d3f9630bc41302e661f2f60bdb661a96a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7b7a6afee03e531e03c7e121cac72a1d3f9630bc41302e661f2f60bdb661a96a","first_computed_at":"2026-05-18T00:34:10.590875Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:34:10.590875Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"r2x6Li4ufnZBHWJ+XK5xd6tpsRR/vIECYK8nTDer1J+hHM2d5gjqXQe5K4/Qaki9YvO9Lh3qL1JjSH/qu852Dw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:34:10.591492Z","signed_message":"canonical_sha256_bytes"},"source_id":"1510.00669","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4e46b30847c8929411ce02b5ff0e69c6685fa2bd73b29343c454fc49340adbf4","sha256:9f69ab16a3eb1c205db63596f530134a489b89c91f9743f8da9ef28dcddd68d4"],"state_sha256":"7480fa5a54b9db2aa00cdd21662749955db240bdd18d8b495a12942bec7fa746"}