{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002070568,0.0005764505,0.001235176,0.002290576,0.004791184,0.008611561,0.001345065,0.001994956,0.007350695],"category_scores_gemma":[0.004173852,0.001186395,0.001827395,0.002403944,0.007749445,0.01509485,0.005847584,0.003496661,0.0009987302],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002064571,"about_ca_system_score_gemma":0.001447844,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002977803,"about_ca_topic_score_gemma":0.002363625,"domain_scores_codex":[0.997798,0.0003602132,0.0002077197,0.0006303534,0.0006013251,0.0004025691],"domain_scores_gemma":[0.9939618,0.002690177,0.0005406918,0.0008790673,0.001254231,0.0006741023],"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.0001003381,0.00001414043,0.0006772659,0.00005199403,0.0000202455,0.00009422943,0.0003886805,0.0001711703,0.0005273526,0.9943809,0.0008239222,0.002749795],"study_design_scores_gemma":[0.0000296049,0.00003149941,0.0007232053,0.0000232912,0.00002889107,0.0003585921,0.0003938735,0.0008521213,0.0007728334,0.986819,0.009941545,0.0000256181],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6957774,0.002933498,0.1683706,0.005266987,0.0009544878,0.0001023305,0.001398387,0.001383291,0.123813],"genre_scores_gemma":[0.9706342,0.000457113,0.01537181,0.0005049565,0.0001555258,0.00008047921,0.0006833218,0.0001469151,0.01196569],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.008611561,"threshold_uncertainty_score":0.02459049,"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."}}