{"id":"W2889058965","doi":"10.70930/tac/e0lnn7uy","title":"A characterisation of the category of compact Hausdorff spaces","year":2020,"lang":"en","type":"preprint","venue":"Theory and applications of categories","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Université Sorbonne Paris Cité; European Commission","keywords":"Hausdorff space; Mathematics; Categorical variable; Equivalence (formal languages); Set (abstract data type); Urysohn and completely Hausdorff spaces; Pure mathematics; Object (grammar); Discrete mathematics; Computer science; Hausdorff measure; Hausdorff dimension; Artificial intelligence","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003099802,0.0001494906,0.000354864,0.00005773175,0.00007707354,0.00002286688,0.0009147673,0.00008751348,0.000006401427],"category_scores_gemma":[0.00004214692,0.0001067802,0.00009256544,0.0002454993,0.0005309,0.0001209953,0.0005438189,0.0001871205,0.000001045137],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000007467142,"about_ca_system_score_gemma":0.0001097636,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002279247,"about_ca_topic_score_gemma":0.000001352506,"domain_scores_codex":[0.9990013,0.0001375473,0.0003618028,0.0002567718,0.0001534098,0.00008920284],"domain_scores_gemma":[0.9981216,0.0002347438,0.0007155293,0.0007597642,0.0001339217,0.00003439659],"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.00002139596,0.00003866058,0.0002429062,0.0002778047,0.00003024041,5.691641e-8,0.001917036,0.000101272,0.006300613,0.9853992,0.00001465985,0.005656126],"study_design_scores_gemma":[0.00008074271,0.00002838014,0.007795548,0.00003251181,0.00003296916,0.000001531045,0.0003542738,0.0001556155,0.06098377,0.9299237,0.0005061164,0.0001048186],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1855899,0.00154322,0.8082814,0.001535372,0.0001337372,0.0008865039,0.00007514843,0.00006833213,0.001886346],"genre_scores_gemma":[0.9987707,0.0001359826,0.0008858487,0.00003686938,0.00004008083,0.00005050045,0.00001539478,0.000006418009,0.00005821622],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8131807,"threshold_uncertainty_score":0.435437,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01660434863603389,"score_gpt":0.2565976458129817,"score_spread":0.2399932971769478,"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."}}