{"id":"W2737177195","doi":"10.1017/s0960129518000014","title":"Integral categories and calculus categories","year":2018,"lang":"en","type":"article","venue":"Mathematical Structures in Computer Science","topic":"Advanced Topics in Algebra","field":"Mathematics","cited_by":20,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Coalgebra; Symmetric monoidal category; Mathematics; Differential (mechanical device); Category theory; Fundamental theorem of calculus; Calculus (dental); Differential calculus; Algebra over a field; Pure mathematics; Differential form; Fundamental theorem; Functor","routes":{"ca_aff":true,"ca_fund":true,"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":["sts"],"consensus_categories":[],"category_scores_codex":[0.0005059234,0.0002335037,0.000322385,0.00016913,0.0002775475,0.00021235,0.0007049628,0.00006887301,0.00009122223],"category_scores_gemma":[0.0007400271,0.0001721856,0.0000317666,0.0005819719,0.003376306,0.0003388973,0.0006631305,0.0002427338,0.00001449248],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009512851,"about_ca_system_score_gemma":0.00007304268,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000101926,"about_ca_topic_score_gemma":0.00003146211,"domain_scores_codex":[0.9980303,0.00003614835,0.0003975147,0.0005195399,0.0004997846,0.0005166855],"domain_scores_gemma":[0.9986634,0.0004203226,0.00009047559,0.0005313923,0.0001441344,0.0001502437],"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.000005047115,0.00002097827,0.0002643276,0.00005069792,0.000002926854,0.00001085288,0.00204033,0.000001790725,0.00008581908,0.9823746,0.00007507081,0.01506756],"study_design_scores_gemma":[0.000184367,0.0000591211,0.0009700133,0.00003300279,0.000005056786,0.0001124157,0.0000780027,0.0135168,0.003203218,0.9815181,0.0001104009,0.0002094387],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3594249,0.00003293836,0.6381646,0.0002108998,0.0005022318,0.0001827622,0.000001441226,0.0000983264,0.001381884],"genre_scores_gemma":[0.6820791,0.000001274791,0.3175521,0.0001138443,0.0002033684,0.000007022522,2.426432e-7,0.00001191302,0.00003109062],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.3226542,"threshold_uncertainty_score":0.9993359,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03026064021300274,"score_gpt":0.3297678971753615,"score_spread":0.2995072569623587,"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."}}