{"id":"W2160144389","doi":"10.1017/s0960129515000055","title":"Cartesian differential categories revisited","year":2015,"lang":"en","type":"article","venue":"Mathematical Structures in Computer Science","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"Mount Allison University","funders":"","keywords":"Differential (mechanical device); Mathematics; Cartesian coordinate system; Computer science; Physics; 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.001544255,0.0003986601,0.0003782104,0.001355155,0.001418452,0.00221666,0.0006285875,0.0007324629,0.005916947],"category_scores_gemma":[0.001819715,0.000239005,0.0004807848,0.001267451,0.005279643,0.005426861,0.003882538,0.002049819,0.0005657832],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001366851,"about_ca_system_score_gemma":0.0007191778,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003132528,"about_ca_topic_score_gemma":0.002412674,"domain_scores_codex":[0.9988853,0.0002721678,0.0000640314,0.0002736811,0.0003487522,0.0001559806],"domain_scores_gemma":[0.9989572,0.0002960328,0.00009240005,0.000155523,0.0003718034,0.0001270899],"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.000004351631,0.000003424198,0.0004303058,0.00003630441,0.000003756158,0.00008736175,0.0007017445,0.0001567539,0.0004445937,0.9923574,0.0008446088,0.004929455],"study_design_scores_gemma":[0.00001017075,0.0000558631,0.002805924,0.0001178544,0.00002423589,0.002290654,0.001426557,0.002179781,0.001330357,0.7737031,0.2160284,0.00002695632],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2265056,0.02181986,0.3887678,0.00945825,0.001419632,0.000104189,0.0005031189,0.0004403799,0.3509812],"genre_scores_gemma":[0.9044445,0.004812092,0.05406592,0.001382077,0.0004245144,0.00007089775,0.0001984768,0.00008859338,0.03451304],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005916947,"threshold_uncertainty_score":0.01979417,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03947984108463434,"score_gpt":0.3194914315522174,"score_spread":0.2800115904675831,"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."}}