{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005448514,0.0001337138,0.0002080133,0.00008523876,0.0001831258,0.00002620907,0.0001432655,0.00008989508,0.0001204651],"category_scores_gemma":[0.00003872734,0.0001120024,0.00004933534,0.0002099138,0.0007226547,0.0001522873,0.00004412991,0.0001362552,0.00002302025],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000009368945,"about_ca_system_score_gemma":0.00004491784,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004913472,"about_ca_topic_score_gemma":0.000007054777,"domain_scores_codex":[0.999267,0.0000687676,0.0002317658,0.0002069555,0.00007269416,0.0001527696],"domain_scores_gemma":[0.9986321,0.000897334,0.00005331882,0.0003192338,0.000052351,0.00004569726],"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.00009288258,0.00003060577,0.00001528039,0.0002075132,0.00004829357,0.000001528753,0.001701017,0.000001278596,0.0004852969,0.98887,0.0001716216,0.008374684],"study_design_scores_gemma":[0.0001448088,0.00002527052,0.00001584421,0.00001297618,0.00007030453,0.00001709481,0.002075587,0.000005130338,0.0145956,0.9649315,0.01799005,0.000115797],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1985289,0.01684108,0.671985,0.001198177,0.0003823782,0.001489924,0.0001024819,0.001079615,0.1083924],"genre_scores_gemma":[0.9939997,0.0001243505,0.001112741,0.00002577856,0.0001137494,0.0002001536,0.00001651454,0.00002117064,0.004385855],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7954707,"threshold_uncertainty_score":0.4567324,"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."}}