{"id":"W1976985540","doi":"10.1016/j.tcs.2012.01.001","title":"Monoidal indeterminates and categories of possible worlds","year":2012,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Enriched category; Symmetric monoidal category; Mathematics; Functor; Closed monoidal category; Monoidal category; Higher category theory; Monad (category theory); Pure mathematics; Closed category; Algebra over a field","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.001345244,0.0001368197,0.00020291,0.000147496,0.000212267,0.0002551083,0.001140676,0.00004789561,0.000008381083],"category_scores_gemma":[0.00004231564,0.0000996258,0.00003551772,0.0006937486,0.002522876,0.0009189906,0.0008722442,0.00010695,0.00001711037],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001848482,"about_ca_system_score_gemma":0.00005681776,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001183657,"about_ca_topic_score_gemma":5.054025e-7,"domain_scores_codex":[0.9984096,0.00006998806,0.000230086,0.0003406747,0.0004043363,0.0005452788],"domain_scores_gemma":[0.9989479,0.0001266253,0.00008143939,0.0004659751,0.0001163887,0.0002616951],"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.000002129512,0.0000396948,0.005056811,0.00001394006,0.000002352733,0.000001594841,0.001479147,0.000001793609,0.0002637037,0.9408665,0.000007399843,0.05226497],"study_design_scores_gemma":[0.0004222162,0.0006022857,0.02638703,0.00001587183,0.00001287103,0.0001909268,0.00006683632,0.1337257,0.0435882,0.7939531,0.0004559953,0.0005789305],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1129226,0.000243095,0.8822609,0.0001375555,0.0006579807,0.0001128547,2.204121e-7,0.00009531475,0.003569448],"genre_scores_gemma":[0.9711933,0.00000354545,0.02858218,0.0000712299,0.0001175727,0.000004345184,1.744848e-7,0.000004305018,0.00002338852],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8582706,"threshold_uncertainty_score":0.9295644,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0125431637909865,"score_gpt":0.2481429619404011,"score_spread":0.2355997981494146,"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."}}