{"id":"W4310375037","doi":"10.70930/tac/pd8uc6bo","title":"Free precategories as presheaf categories","year":2024,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Agence Nationale de la Recherche","keywords":"Mathematics; Pure mathematics","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.0004062948,0.0001804123,0.0001988001,0.0001242028,0.0002300562,0.0002042439,0.0008487024,0.00007149721,0.00004063715],"category_scores_gemma":[0.0000693692,0.0001473281,0.00005429472,0.0005594115,0.0005353391,0.0007941521,0.0003383512,0.0001391142,0.0000364679],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000115049,"about_ca_system_score_gemma":0.0001051816,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001537994,"about_ca_topic_score_gemma":0.000004057752,"domain_scores_codex":[0.9988797,0.00007028619,0.0002609738,0.0004082785,0.0001646523,0.0002161095],"domain_scores_gemma":[0.9984271,0.0005095659,0.0000627109,0.0008310681,0.00009042263,0.0000791378],"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.00001363092,0.00002371461,0.00001485229,0.00009367761,0.00003084559,0.000001873612,0.001558746,0.00001311225,0.0003882662,0.9523025,0.0002416403,0.04531717],"study_design_scores_gemma":[0.00007399158,0.00006090873,0.00007473277,0.00001005361,0.00002183597,0.0000279342,0.0005055647,0.0001091994,0.01586842,0.9366589,0.04642541,0.0001631083],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006609329,0.01394962,0.958111,0.000890662,0.0001836224,0.0003924734,0.00002213234,0.0005691165,0.01927206],"genre_scores_gemma":[0.9932486,0.0004211749,0.003003679,0.00007932186,0.0001258724,0.0003169944,0.00001142845,0.00001490812,0.002777976],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9866393,"threshold_uncertainty_score":0.6007867,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007602279306298289,"score_gpt":0.2516019475112174,"score_spread":0.2439996682049192,"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."}}