{"id":"W2155463736","doi":"10.70930/tac/7anrl957","title":"Generating Families in a Topos","year":2006,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Engineering and Physical Sciences Research Council","keywords":"Topos theory; Mathematics; Generalization; Isomorphism (crystallography); Counterexample; Functor; Combinatorics; Pure mathematics; Discrete mathematics","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002152567,0.0002964468,0.0003832008,0.001917075,0.002288127,0.002327059,0.0005509639,0.0006916104,0.003925157],"category_scores_gemma":[0.002082362,0.0004104461,0.0006562149,0.001196574,0.003898898,0.005678008,0.002460999,0.001023482,0.0003480739],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001128342,"about_ca_system_score_gemma":0.0005154829,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001009489,"about_ca_topic_score_gemma":0.0006374327,"domain_scores_codex":[0.9986848,0.0003222087,0.00008276623,0.0002971716,0.0003799282,0.0002331459],"domain_scores_gemma":[0.9984192,0.0006629696,0.0001627278,0.0002875319,0.000230762,0.0002368678],"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.00001161729,0.000006707937,0.0005320639,0.00001615965,0.000004605577,0.0001335334,0.0006371427,0.0005615633,0.0007337778,0.9927423,0.0004070432,0.004213404],"study_design_scores_gemma":[0.00001221734,0.00002936647,0.0007295163,0.00001688831,0.00001375968,0.0004135126,0.0004028309,0.003806477,0.001414837,0.9793952,0.0137503,0.00001505324],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6052145,0.001013959,0.3123392,0.001649257,0.0001271427,0.00009727844,0.0004401112,0.0006388169,0.07847982],"genre_scores_gemma":[0.9584697,0.0004041346,0.03282863,0.0001404448,0.0001282273,0.00008837265,0.0002932464,0.0000667045,0.007580675],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003925157,"threshold_uncertainty_score":0.0131309,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01087129459317041,"score_gpt":0.2827277531266322,"score_spread":0.2718564585334617,"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."}}