{"id":"W4413965757","doi":"10.70930/tac/idf1ki0c","title":"On toposes, algebraic theories, semi-abelian categories and compact Hausdorff spaces","year":2025,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Advanced Topics in Algebra","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Centro de Matemática, Universidade de Coimbra; Fundação para a Ciência e a Tecnologia; Ministério da Ciência, Tecnologia e Ensino Superior; Universidade de Coimbra","keywords":"Topos theory; Abelian group; Mathematics; Hausdorff space; Pure mathematics; Algebraic number; Algebra over a field; Mathematical analysis","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.001679162,0.0009634147,0.0007530585,0.002879909,0.001901389,0.003076314,0.0008570444,0.001506754,0.004027534],"category_scores_gemma":[0.002068675,0.0003148853,0.0007332374,0.003766188,0.009354547,0.009779327,0.003986043,0.002248287,0.0005186138],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001631532,"about_ca_system_score_gemma":0.0006669518,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001475446,"about_ca_topic_score_gemma":0.001235394,"domain_scores_codex":[0.9988515,0.0003960394,0.00005988814,0.0001757364,0.0003341162,0.0001826319],"domain_scores_gemma":[0.9977456,0.001284597,0.0002764775,0.0001837541,0.0002761642,0.0002333874],"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.000006767001,0.00001464031,0.000228812,0.00006175099,0.000007082605,0.0001255698,0.0005597973,0.0004431803,0.000315887,0.9950944,0.0004923413,0.002649824],"study_design_scores_gemma":[0.000005283571,0.00002989159,0.0004692231,0.00004109899,0.000006314116,0.000165278,0.0004022241,0.0007615719,0.0001476365,0.9876414,0.01031927,0.00001071988],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"other","genre_scores_codex":[0.3963938,0.07937017,0.2370916,0.01200199,0.001459645,0.000132253,0.0007088415,0.000358608,0.2724831],"genre_scores_gemma":[0.9206647,0.01804208,0.0348886,0.001658705,0.001824178,0.0002196086,0.0005542129,0.00008671787,0.02206126],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.004027534,"threshold_uncertainty_score":0.01347351,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01196052180049004,"score_gpt":0.2996438259584624,"score_spread":0.2876833041579723,"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."}}