{"id":"W4387776395","doi":"10.1007/s10485-023-09751-y","title":"Compact Hausdorff Locales in Presheaf Toposes","year":2023,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Topos theory; Mathematics; Hausdorff space; Functor; Pure mathematics; Discrete mathematics; Combinatorics","routes":{"ca_aff":true,"ca_fund":true,"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.0002122137,0.0002417015,0.0004509172,0.0001750819,0.0001126114,0.00002339613,0.0003735986,0.0003035252,0.00055982],"category_scores_gemma":[0.0001594306,0.0001956383,0.00007388942,0.0005502506,0.0002655736,0.00003393371,0.000102356,0.0004109135,0.0001883982],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006328252,"about_ca_system_score_gemma":0.00004144683,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007524801,"about_ca_topic_score_gemma":0.000106167,"domain_scores_codex":[0.9983395,0.0000806591,0.0003863175,0.0003958978,0.0002201095,0.0005775713],"domain_scores_gemma":[0.9986582,0.0007630911,0.00007648241,0.0003715082,0.00001730724,0.0001134065],"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.00004864914,0.00004016214,0.001468976,0.00003459092,0.00003137322,0.00008668662,0.0003794965,0.00005974503,0.0007130947,0.9822071,0.0119448,0.002985384],"study_design_scores_gemma":[0.0004823749,0.00004169499,0.01971872,0.000001066179,0.00001653823,0.00003310762,0.0002563939,0.00005466696,0.002606485,0.9738954,0.002676065,0.0002175457],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9697888,0.00009221127,0.001701356,0.0014052,0.0004419053,0.0005114673,0.000004600414,0.0006076135,0.02544678],"genre_scores_gemma":[0.9988338,0.00001950813,0.0001923202,0.0002504187,0.0001637432,0.00004324807,0.00002216286,0.00002910513,0.0004456317],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.029045,"threshold_uncertainty_score":0.7977898,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04204695803369782,"score_gpt":0.3234350917777121,"score_spread":0.2813881337440142,"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."}}