{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002642729,0.0001253264,0.0002470092,0.00006101799,0.0001767132,0.00001225222,0.0001760926,0.0001063815,0.0001610989],"category_scores_gemma":[0.00007014989,0.000107999,0.00004315167,0.000117285,0.0005861521,0.00006222857,0.0000286115,0.000106155,0.000007139357],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000005491802,"about_ca_system_score_gemma":0.00002635124,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004408505,"about_ca_topic_score_gemma":0.000005398492,"domain_scores_codex":[0.9992445,0.0001110747,0.0002424256,0.0001692782,0.00007044604,0.0001623159],"domain_scores_gemma":[0.9990437,0.0004212038,0.0001042419,0.0003264774,0.00005493064,0.00004945862],"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.00004552719,0.00008456867,0.00008010953,0.00002277114,0.00002294122,6.565627e-7,0.0009041977,9.447732e-8,0.0008931127,0.9832658,0.00009964948,0.0145806],"study_design_scores_gemma":[0.0001623693,0.00008724975,0.00080272,0.000002894043,0.0000596892,0.00002254446,0.000795154,0.000001094936,0.01179743,0.9847713,0.001392022,0.0001055776],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8147437,0.0007162973,0.1559543,0.00127096,0.00009584379,0.0005887944,0.00002088388,0.000209285,0.02639996],"genre_scores_gemma":[0.9981101,0.00003982396,0.0005464484,0.0000714499,0.0001012786,0.00007418334,0.00001015077,0.000007463636,0.001039166],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1833663,"threshold_uncertainty_score":0.4404073,"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."}}