{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000741402,0.0002082014,0.0004030682,0.0001907186,0.0001303762,0.0001088466,0.0009003058,0.0001060069,0.0002085337],"category_scores_gemma":[0.0007046345,0.0001567651,0.00005232271,0.0005511582,0.001283456,0.0001648026,0.0004033614,0.0002586608,0.00003493964],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009752693,"about_ca_system_score_gemma":0.0001400149,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007566773,"about_ca_topic_score_gemma":0.000007789883,"domain_scores_codex":[0.9979323,0.0001231605,0.0004366595,0.0004599815,0.0005144375,0.0005334358],"domain_scores_gemma":[0.9986385,0.0003503507,0.00009312888,0.0005701301,0.000106328,0.0002415431],"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.000009023078,0.00005963938,0.0007668133,0.0000368379,0.000005337474,0.00005499354,0.001652457,0.000008406492,0.00006557324,0.9910492,0.0004386675,0.005853082],"study_design_scores_gemma":[0.0003478985,0.00006205377,0.001281818,0.00002107222,0.000008947432,0.0002233461,0.0000481997,0.01015585,0.0006209535,0.9869847,0.00006255729,0.0001826023],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5420181,0.00003326415,0.4536849,0.0004737255,0.0007164865,0.000256784,0.000002006642,0.0001336941,0.00268111],"genre_scores_gemma":[0.9219342,5.423119e-7,0.07766365,0.0001661328,0.0001770434,0.0000113459,0.000001052591,0.00001110933,0.00003494076],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3799161,"threshold_uncertainty_score":0.6392697,"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."}}