{"id":"W2123497262","doi":"10.1007/978-94-007-0431-2_9","title":"Reflections on the Categorical Foundations of Mathematics","year":2011,"lang":"en","type":"book-chapter","venue":"˜The œWestern Ontario series in philosophy of science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa; McGill University","funders":"","keywords":"Peano axioms; Axiom; Type theory; Foundations of mathematics; Calculus (dental); Naturalness; Set theory; Relation (database); Mathematics; Subject (documents); Type (biology); Order (exchange); Categorical variable; Axiom of choice; Epistemology; Set (abstract data type); Computer science; Algebra over a field; Philosophy; Pure mathematics; Discrete mathematics; Programming language","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":["sts"],"consensus_categories":[],"category_scores_codex":[0.0009126205,0.0002806581,0.0004001485,0.0002749614,0.0004172187,0.0001276402,0.003218083,0.0001386728,0.00003689864],"category_scores_gemma":[0.00002696509,0.0001679223,0.000143795,0.0003635354,0.003034491,0.0004520294,0.0005355539,0.0004820999,0.00004894045],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002397215,"about_ca_system_score_gemma":0.0006544301,"about_ca_topic_candidate":true,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004407243,"about_ca_topic_score_gemma":0.03900406,"domain_scores_codex":[0.99771,0.00003037028,0.0006666408,0.0004882068,0.0008141211,0.000290677],"domain_scores_gemma":[0.9973472,0.0001744244,0.0006455144,0.001502803,0.0002648962,0.00006518695],"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.000004398565,0.00006933286,0.00007652242,0.00002875051,0.00001522093,0.000003567507,0.007913821,0.000005393806,0.00001910817,0.9914252,0.00001876,0.0004199873],"study_design_scores_gemma":[0.0000703096,0.000346707,0.00023553,0.00004906331,0.00001617139,0.00004799462,0.00005967921,0.00002002695,0.00008610031,0.9779968,0.0208778,0.0001937872],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.000240986,0.00007159352,0.02238982,0.001139257,0.001281216,0.0007191004,0.000003054191,0.00005502193,0.9740999],"genre_scores_gemma":[0.9351093,0.00002016751,0.001405739,0.0001366408,0.00009944419,0.00003559319,0.00000159525,0.0000181646,0.0631734],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.9348683,"threshold_uncertainty_score":0.9996787,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1056505991953984,"score_gpt":0.2946283798812661,"score_spread":0.1889777806858677,"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."}}