{"id":"W4413965835","doi":"10.70930/tac/ak1jwor1","title":"Cauchy Completions and the Rule of Unique Choice in Relational Doctrines","year":2025,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Mathematics; Cauchy distribution; Pure mathematics; Statistics","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004938806,0.00005136171,0.0001166762,0.00007418227,0.0001209298,0.00001575297,0.0002111248,0.00002642616,0.000003496699],"category_scores_gemma":[0.00007866035,0.00003558166,0.00001761584,0.0003491433,0.0005160073,0.00009180765,0.0001087873,0.0000572131,6.234001e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000004337482,"about_ca_system_score_gemma":0.0000436618,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006076851,"about_ca_topic_score_gemma":0.00002967405,"domain_scores_codex":[0.999539,0.0000924212,0.0001602216,0.0001088514,0.00004289701,0.0000565812],"domain_scores_gemma":[0.9985752,0.001052526,0.00006528823,0.0002151048,0.00007919458,0.00001275941],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001259461,0.00002378302,0.002465064,0.00002089553,0.000007253504,2.226446e-8,0.000713943,0.00001143335,0.0000698221,0.9938087,0.0000215613,0.002844925],"study_design_scores_gemma":[0.0003508468,0.000006299121,0.02770728,0.000009974119,0.000008864976,0.00000156189,0.0001371913,0.0003304842,0.0008086652,0.9634613,0.007138454,0.00003913053],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07293867,0.003935367,0.8704334,0.00285963,0.00004213691,0.0005421374,0.00001001691,0.00004508293,0.04919349],"genre_scores_gemma":[0.9980578,0.0001036806,0.001049476,0.00004684351,0.00001173145,0.0000928933,0.000003292194,0.00000120733,0.0006331036],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9251191,"threshold_uncertainty_score":0.190125,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008485788558494706,"score_gpt":0.2509236833396875,"score_spread":0.2424378947811928,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}