{"id":"W4388940344","doi":"10.46298/entics.12278","title":"Cartesian Differential Kleisli Categories","year":2023,"lang":"en","type":"article","venue":"Electronic Notes in Theoretical Informatics and Computer Science","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Australian Research Council; Natural Sciences and Engineering Research Council of Canada","keywords":"Monad (category theory); Cartesian closed category; Mathematics; Differential (mechanical device); Cartesian coordinate system; Pure mathematics; Cartesian product; Algebra over a field; Differential algebra; Discrete mathematics; Functor; Geometry; Physics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"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.0009949114,0.0001578565,0.0002497669,0.0002421471,0.0002214167,0.0001041956,0.0004840573,0.00009773923,0.00006597572],"category_scores_gemma":[0.0001997604,0.0001272268,0.00003532378,0.0007366846,0.002656617,0.0001888199,0.0003781661,0.000334562,0.00003482653],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005381752,"about_ca_system_score_gemma":0.000166355,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003687077,"about_ca_topic_score_gemma":0.000009491575,"domain_scores_codex":[0.9982492,0.000053756,0.0003978166,0.0001934424,0.0002588078,0.0008469209],"domain_scores_gemma":[0.9987968,0.000694254,0.00006614201,0.0002956869,0.00004216973,0.0001049362],"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.000006194372,0.0000218238,0.0002299091,0.00002083929,0.000005863729,0.000005105938,0.002051909,0.00001125544,0.00002259242,0.9837387,0.0000191416,0.01386669],"study_design_scores_gemma":[0.0002173511,0.0001713696,0.0003986143,0.00001163516,0.000006176274,0.00004677511,0.00007545706,0.1624289,0.000783285,0.8356854,0.00003668415,0.0001383624],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7401257,0.0000156812,0.2580991,0.000495419,0.0002404932,0.0001337201,0.000001105125,0.0001126515,0.0007761359],"genre_scores_gemma":[0.9954811,0.00003833089,0.004191821,0.0001915572,0.00006061644,0.00001523917,0.000002082758,0.000007472197,0.00001182037],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2553554,"threshold_uncertainty_score":0.9788418,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01090246973508173,"score_gpt":0.2773178541487263,"score_spread":0.2664153844136446,"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."}}