{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003592226,0.0002421119,0.0002137202,0.0009907664,0.0007497808,0.001684988,0.0004869551,0.0005204379,0.005509149],"category_scores_gemma":[0.0007625819,0.0002255249,0.0003893922,0.000544261,0.002111495,0.003995996,0.001907914,0.0007988887,0.0006281081],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006915633,"about_ca_system_score_gemma":0.0004499586,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001401191,"about_ca_topic_score_gemma":0.00147001,"domain_scores_codex":[0.9995663,0.00007771662,0.00003208386,0.00008732383,0.0001644102,0.00007224116],"domain_scores_gemma":[0.9995646,0.0001421628,0.00004416647,0.00009666791,0.00007907982,0.00007321176],"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.00000826371,0.000006059597,0.0004422726,0.0000242039,0.000003959726,0.00009385712,0.0005850752,0.0002566517,0.001480813,0.9895316,0.0003135731,0.007253686],"study_design_scores_gemma":[0.000005908555,0.000039117,0.003042179,0.00002777095,0.00001313783,0.0002936454,0.000500946,0.003312925,0.002487768,0.9631032,0.02715519,0.00001813148],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5975684,0.001789994,0.2687642,0.0008193082,0.0001339992,0.0001241638,0.0006599047,0.0009413211,0.1291987],"genre_scores_gemma":[0.9630167,0.0004020121,0.01928416,0.0001401956,0.00005496299,0.00006633958,0.0002554322,0.00008193227,0.01669812],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.005509149,"threshold_uncertainty_score":0.01842988,"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."}}