{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00638681,0.0003595167,0.0007691695,0.001649818,0.002528984,0.00341226,0.0009313812,0.001164376,0.002930379],"category_scores_gemma":[0.008193434,0.000417811,0.001317041,0.0007694095,0.01328024,0.01001513,0.005225313,0.003270801,0.0004179239],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001982538,"about_ca_system_score_gemma":0.001599303,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002144711,"about_ca_topic_score_gemma":0.001757539,"domain_scores_codex":[0.9954771,0.001482512,0.0003542761,0.0009444791,0.001341938,0.0003997275],"domain_scores_gemma":[0.9944218,0.002320501,0.0003361676,0.001109265,0.001174231,0.0006380266],"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.00000369425,0.00000420997,0.00006909383,0.000008345136,0.000002299857,0.00003501111,0.0003186001,0.0001873078,0.0002167331,0.9975014,0.000133045,0.001520367],"study_design_scores_gemma":[0.0000102204,0.00001623685,0.0002205039,0.00001083487,0.000004607293,0.0001046663,0.0002020892,0.001405194,0.0006916363,0.9899595,0.007361494,0.0000129898],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2556882,0.001998007,0.6184705,0.004013801,0.0002356838,0.0001410317,0.000322602,0.0005182,0.118612],"genre_scores_gemma":[0.9137664,0.0005037552,0.07482287,0.0003825561,0.0001742353,0.0001040822,0.0002334996,0.0001050272,0.009907438],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00638681,"threshold_uncertainty_score":0.03377712,"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."}}