{"id":"W2168266035","doi":"10.70930/tac/y9rglypb","title":"Cartesian Differential Categories","year":2009,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":44,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Morphism; Mathematics; Symmetric monoidal category; Pure mathematics; Cartesian closed category; Enriched category; Algebra over a field; Differential (mechanical device); Functor","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.001017747,0.0002835525,0.0002829061,0.001211688,0.001260159,0.001824005,0.0005468592,0.000424553,0.006684519],"category_scores_gemma":[0.001548919,0.0001661552,0.0003448696,0.0009587361,0.003162114,0.004439014,0.003168043,0.001015867,0.0008116822],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001256838,"about_ca_system_score_gemma":0.0007008788,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001711378,"about_ca_topic_score_gemma":0.001260777,"domain_scores_codex":[0.9990018,0.0001916957,0.00006276623,0.0002412716,0.0003807475,0.0001217195],"domain_scores_gemma":[0.9989445,0.0003043287,0.0000902581,0.0001592896,0.0003862457,0.0001154914],"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.000003654382,0.000002218381,0.000217442,0.00002326024,0.000001968337,0.00003687931,0.0005397071,0.00009327899,0.0002501733,0.9930882,0.0008787907,0.004864413],"study_design_scores_gemma":[0.000006416912,0.00002745391,0.001089995,0.00004172764,0.00001357863,0.0009555889,0.0006180329,0.001203736,0.0007525359,0.7307692,0.2645069,0.00001494602],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1264673,0.008109839,0.4822676,0.003404235,0.0007490074,0.00009809672,0.0006389936,0.0006755157,0.3775893],"genre_scores_gemma":[0.8631439,0.00332843,0.08467402,0.001013861,0.0004540359,0.00008488798,0.0004353684,0.0001247613,0.04674067],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006684519,"threshold_uncertainty_score":0.02236193,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01193207748906503,"score_gpt":0.2807424793009924,"score_spread":0.2688104018119274,"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."}}