{"id":"W2143449594","doi":"10.1017/s0305004113000108","title":"On the Bourbaki–Witt principle in toposes","year":2013,"lang":"en","type":"article","venue":"Mathematical Proceedings of the Cambridge Philosophical Society","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"Dalhousie University","funders":"","keywords":"Topos theory; Mathematics; Transfinite number; Pure mathematics; Fixed point; Point (geometry); Least fixed point; Partially ordered set; Set (abstract data type); Discrete mathematics; Algebra over a field; Fixed-point theorem; Computer science; Mathematical analysis; Geometry; Brouwer fixed-point theorem","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":[],"consensus_categories":[],"category_scores_codex":[0.001010591,0.000288878,0.000493378,0.00002530731,0.000241865,0.0000380371,0.0008921881,0.0002603036,0.0002389182],"category_scores_gemma":[0.002394713,0.0001475811,0.0004428104,0.0003251352,0.0009114816,0.000160214,0.0003933888,0.0008801364,0.0001016656],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008902285,"about_ca_system_score_gemma":0.00002200052,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002179199,"about_ca_topic_score_gemma":1.415729e-7,"domain_scores_codex":[0.9980248,0.00004243914,0.0006426348,0.0003337132,0.0004928542,0.0004635791],"domain_scores_gemma":[0.9970714,0.002031499,0.0002770801,0.0003640357,0.0001556082,0.0001003901],"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.00001863638,0.0003527386,0.000161526,0.0002517086,0.00003925402,3.037099e-7,0.0003817055,0.000001273458,0.0008635508,0.9930989,0.004795701,0.00003470484],"study_design_scores_gemma":[0.000314845,0.00006641607,0.0004655991,0.0002177737,0.00002900734,0.00001192997,0.0003008214,0.000728938,0.003009304,0.9945922,0.00008630056,0.0001768268],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9197673,0.00002056004,0.0002212737,0.03904419,0.00006843765,0.001031843,0.000005886162,0.00007961098,0.03976092],"genre_scores_gemma":[0.9944891,0.000005492825,0.002525597,0.001835626,0.0001304057,0.0001501448,4.247258e-7,0.00003853598,0.0008246315],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.07472186,"threshold_uncertainty_score":0.6018184,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03430989824914111,"score_gpt":0.2910364935174907,"score_spread":0.2567265952683496,"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."}}