{"id":"W4413965783","doi":"10.70930/tac/0tkrfy1d","title":"Weak model categories in classical and constructive mathematics","year":2020,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Constructive; Mathematics; Computer science; Calculus (dental); Programming language","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.001911412,0.0005526483,0.0004310932,0.002391187,0.001805556,0.003156682,0.001116008,0.001093909,0.00535451],"category_scores_gemma":[0.002837762,0.0003677583,0.0006680635,0.001647564,0.005932259,0.008399265,0.003137215,0.002036797,0.0008409543],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001716984,"about_ca_system_score_gemma":0.001018421,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001060724,"about_ca_topic_score_gemma":0.001100605,"domain_scores_codex":[0.9987332,0.0004169901,0.00006547191,0.0001750437,0.0004727425,0.0001364666],"domain_scores_gemma":[0.9982598,0.0008585874,0.0001341533,0.0002407788,0.0003186708,0.0001880278],"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.00000207593,0.000003462492,0.00009383069,0.00002095801,0.000002274835,0.00002032335,0.0001436546,0.0002679991,0.0002432734,0.9965981,0.0003515677,0.002252527],"study_design_scores_gemma":[0.000002079978,0.00001173985,0.0001594635,0.00001479931,0.000004426471,0.00007298201,0.0001116034,0.002368856,0.0004892935,0.98231,0.01444788,0.000006919178],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.09606384,0.007952108,0.7827994,0.00526315,0.0006881768,0.00009465298,0.0003122847,0.0006348767,0.1061915],"genre_scores_gemma":[0.8691093,0.002627203,0.1055081,0.0010214,0.0006760922,0.000199277,0.0002780672,0.0001315413,0.02044907],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.00535451,"threshold_uncertainty_score":0.01791269,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0213719716835039,"score_gpt":0.283503253723994,"score_spread":0.2621312820404901,"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."}}