{"id":"W2003846114","doi":"10.1016/j.jpaa.2008.04.010","title":"The category of 3-computads is not cartesian closed","year":2008,"lang":"en","type":"article","venue":"Journal of Pure and Applied Algebra","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"","keywords":"Cartesian closed category; Mathematics; Corollary; Topos theory; Pure mathematics; Cartesian coordinate system; Argument (complex analysis); Algebra over a field; Geometry","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.0006243481,0.0001742801,0.0003831354,0.00009828393,0.0002656597,0.00008573277,0.0009619567,0.00008174935,0.000007372164],"category_scores_gemma":[0.00001978484,0.0001126762,0.0001565361,0.0003102244,0.0002116632,0.0001752932,0.0002415479,0.0003345912,0.000005192628],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002691699,"about_ca_system_score_gemma":0.0001651614,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005422221,"about_ca_topic_score_gemma":0.000002728872,"domain_scores_codex":[0.9983063,0.00005806328,0.0006149572,0.0002309234,0.0005194111,0.0002703825],"domain_scores_gemma":[0.998498,0.0002874956,0.0004624592,0.000411318,0.0001882257,0.0001525021],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002167251,0.0007724914,0.003108253,0.0001275778,0.0004454344,0.0003082268,0.01792311,0.0005101658,0.01514664,0.2907124,0.02122348,0.6495055],"study_design_scores_gemma":[0.008462626,0.002905751,0.230994,0.0001274693,0.0002308072,0.00626407,0.001562984,0.03517604,0.1248387,0.5444785,0.04285442,0.002104627],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8746505,0.001241721,0.1166271,0.004770766,0.0006151939,0.00024542,0.00000256875,0.00004242883,0.001804333],"genre_scores_gemma":[0.9888689,0.0001146783,0.010187,0.0004963439,0.0002790841,0.000001768594,1.932375e-7,0.000008693169,0.00004334241],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6474009,"threshold_uncertainty_score":0.4594801,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0157071749816032,"score_gpt":0.2238040718335143,"score_spread":0.2080968968519111,"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."}}