{"id":"W4413972936","doi":"10.70930/tac/sv07ukdv","title":"Every theory is eventually of presheaf type","year":2025,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Origins and Evolution of Life","field":"Physics and Astronomy","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Masarykova Univerzita; Grantová Agentura České Republiky","keywords":"Mathematics; Type (biology); Computer science; Geology","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.001161392,0.0004952765,0.0007700128,0.002299023,0.003152005,0.00361229,0.0007144221,0.0008670969,0.009605414],"category_scores_gemma":[0.0017059,0.0004969117,0.001106442,0.001497127,0.004599737,0.008187263,0.002512834,0.001860853,0.001317408],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002139597,"about_ca_system_score_gemma":0.0008473748,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002029912,"about_ca_topic_score_gemma":0.002312875,"domain_scores_codex":[0.998511,0.0001909565,0.0001071236,0.0003122295,0.0005511233,0.0003275712],"domain_scores_gemma":[0.9975139,0.00076472,0.0001499436,0.0003689782,0.0008486041,0.0003538922],"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.00001164831,0.000006511161,0.0003802647,0.00003785836,0.00001163081,0.0000685148,0.0003777517,0.0001174648,0.0004660074,0.9943778,0.0008112732,0.003333271],"study_design_scores_gemma":[0.00000784859,0.00003192399,0.000903263,0.00003812414,0.00002181799,0.0002561777,0.0005237081,0.0007639554,0.001496779,0.9627009,0.03323621,0.0000193089],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.315616,0.00289314,0.2737912,0.002751257,0.0007293583,0.0001388,0.001564269,0.001241093,0.4012749],"genre_scores_gemma":[0.9401041,0.001092736,0.02651669,0.0005222692,0.0004719007,0.0001256607,0.0008424373,0.000216491,0.03010775],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009605414,"threshold_uncertainty_score":0.03213328,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005249552250340328,"score_gpt":0.257968723553873,"score_spread":0.2527191713035327,"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."}}