{"id":"W3136669380","doi":"","title":"Dependent products and 1-inaccessible universes","year":2021,"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":"","keywords":"Topos theory; Mathematics; Infinity; Morphism; Pure mathematics; Universe; Axiom; Mathematical analysis; Geometry","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.00114036,0.0003833822,0.0003700106,0.001504586,0.001548628,0.002842518,0.0004298609,0.0006181597,0.003240821],"category_scores_gemma":[0.002184188,0.0002492853,0.0006278298,0.0007988563,0.005523832,0.004092074,0.002408359,0.001816954,0.000344952],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001184876,"about_ca_system_score_gemma":0.0003700834,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004853357,"about_ca_topic_score_gemma":0.0004372304,"domain_scores_codex":[0.9991016,0.0002453676,0.00005171874,0.0001901905,0.0003031365,0.0001079805],"domain_scores_gemma":[0.9986784,0.0006169921,0.0001220927,0.0001961029,0.0002536732,0.0001326886],"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.000004337128,0.000003369728,0.0001698361,0.00001552215,0.000002663402,0.00004397979,0.0002163537,0.0001656199,0.0002970526,0.9975263,0.0001580277,0.001396916],"study_design_scores_gemma":[0.000003909516,0.00001622432,0.0006486346,0.00001598159,0.00001311767,0.0001875712,0.000194748,0.001280281,0.0009492585,0.9881423,0.008535175,0.00001281167],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"other","genre_scores_codex":[0.566878,0.003226002,0.1954089,0.001806437,0.0003382846,0.00006082072,0.0002934328,0.0003037576,0.2316842],"genre_scores_gemma":[0.9758154,0.0006703019,0.01222038,0.000187666,0.0001378011,0.00003086955,0.0001117814,0.00003570958,0.01078996],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.003240821,"threshold_uncertainty_score":0.01084161,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01793827819660857,"score_gpt":0.2978013035376849,"score_spread":0.2798630253410763,"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."}}