{"id":"W2010426631","doi":"10.1016/s0747-7171(02)00104-9","title":"A database of categories","year":2003,"lang":"en","type":"article","venue":"Journal of Symbolic Computation","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":false,"ca_institutions":"Mount Allison University; University of Waterloo","funders":"","keywords":"Functor; Mathematics; Computation; Set (abstract data type); Functor category; Programming language; Algebra over a field; Theoretical computer science; Database; Computer science; Pure mathematics; Algorithm","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005896064,0.00006701633,0.000187339,0.0001426396,0.00003897838,0.00005465816,0.0002442415,0.00002712132,0.000004075569],"category_scores_gemma":[0.00008394225,0.00005279775,0.00006678639,0.0002838672,0.00002641453,0.0003859322,0.00002751054,0.00008288032,0.000006092139],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002159195,"about_ca_system_score_gemma":0.0001292498,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001971348,"about_ca_topic_score_gemma":0.000002119092,"domain_scores_codex":[0.9990238,0.00009870242,0.0004119457,0.00008387733,0.0002764415,0.0001052458],"domain_scores_gemma":[0.9989388,0.00006835073,0.0004919347,0.0001292612,0.0003135133,0.0000581665],"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.000009099842,0.0001712708,0.002592667,0.00008834494,0.00005934996,0.00004030259,0.004005747,0.001229954,0.001401945,0.9503473,0.0008880186,0.03916602],"study_design_scores_gemma":[0.006178142,0.002738829,0.02375207,0.0001737248,0.0001716488,0.004385576,0.002640701,0.05287419,0.03502779,0.8213844,0.04953909,0.001133893],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03490109,0.0004754655,0.9622609,0.00007779415,0.0006762157,0.00006002841,2.103831e-7,0.00001387483,0.001534448],"genre_scores_gemma":[0.9843814,0.00001503553,0.0154717,0.00002520229,0.00007028874,6.332684e-7,7.415014e-7,0.000003424669,0.00003162831],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9494802,"threshold_uncertainty_score":0.215303,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02543372123129081,"score_gpt":0.2721982775063541,"score_spread":0.2467645562750633,"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."}}