{"id":"W4413965854","doi":"10.70930/tac/ih0v4iqn","title":"Cartesian Closed Double Categories","year":2024,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Cartesian closed category; Cartesian coordinate system; Computer science; Mathematics; Pure mathematics; Geometry","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.00151386,0.0005319156,0.00039186,0.001755162,0.001531943,0.002821928,0.0009571321,0.0008838073,0.007255815],"category_scores_gemma":[0.002211289,0.0002536824,0.0006076417,0.0009884919,0.004254912,0.004657835,0.004186254,0.001456615,0.0009688215],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009875783,"about_ca_system_score_gemma":0.0005729011,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001218045,"about_ca_topic_score_gemma":0.001176903,"domain_scores_codex":[0.9988166,0.0003366354,0.00008527749,0.0002653399,0.0003290006,0.0001671661],"domain_scores_gemma":[0.9987242,0.0003791792,0.0001199864,0.0001887802,0.0003713258,0.0002164909],"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.00000686349,0.00000733098,0.0001806254,0.00004135055,0.000002090854,0.0001155799,0.0007568294,0.0001263604,0.0002871475,0.9916136,0.0009798871,0.005882258],"study_design_scores_gemma":[0.00001621915,0.00007706321,0.000858687,0.0001121312,0.00001263686,0.00134608,0.001236403,0.001613787,0.0008481778,0.8497563,0.1440945,0.00002802663],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1161386,0.007716797,0.58824,0.004629312,0.001160369,0.0001692654,0.0006104009,0.0007696574,0.2805657],"genre_scores_gemma":[0.7864991,0.002946922,0.1713008,0.001841899,0.0005770324,0.0003445253,0.0005180549,0.0001374005,0.03583435],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007255815,"threshold_uncertainty_score":0.02427316,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0181435744561958,"score_gpt":0.31354294588646,"score_spread":0.2953993714302642,"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."}}