{"id":"W2051588615","doi":"10.1016/s0022-4049(98)00172-8","title":"Exponentiability and single universes","year":2000,"lang":"en","type":"article","venue":"Journal of Pure and Applied Algebra","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":23,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"","keywords":"Topos theory; Mathematics; Locale (computer software); Factorization; Pure mathematics; Computer science; Algorithm","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002601803,0.0006441124,0.00182048,0.003253724,0.003092209,0.004211696,0.00112576,0.002061413,0.008120794],"category_scores_gemma":[0.008910558,0.0009434705,0.0009683006,0.001704839,0.008911056,0.01799321,0.006236627,0.004831849,0.000575019],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001264041,"about_ca_system_score_gemma":0.0005192418,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004334418,"about_ca_topic_score_gemma":0.0003714855,"domain_scores_codex":[0.9986063,0.000358229,0.0001049689,0.0003997696,0.0002800996,0.0002506383],"domain_scores_gemma":[0.9929605,0.004263076,0.0004824968,0.001135603,0.0006544233,0.0005038547],"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.00001675686,0.000009108323,0.0002006162,0.00001468314,0.000004448251,0.00006411927,0.0002334932,0.00008289937,0.00009955213,0.9978874,0.000306394,0.001080427],"study_design_scores_gemma":[0.00001190942,0.000004503004,0.000115168,0.000005048505,0.000005102489,0.00008255611,0.000102261,0.0003436873,0.0001020835,0.9983368,0.0008852321,0.000005529765],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7056513,0.004423026,0.09347995,0.01198277,0.0008984453,0.00008399098,0.0005298331,0.0003617728,0.182589],"genre_scores_gemma":[0.984655,0.000662324,0.005903353,0.0002964727,0.0003873162,0.00003051685,0.0001200486,0.00004675025,0.007898162],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.008120794,"threshold_uncertainty_score":0.02716678,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01877512662098539,"score_gpt":0.253267332689324,"score_spread":0.2344922060683386,"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."}}