{"id":"W2146563885","doi":"10.70930/tac/zpkjwf4q","title":"Codensity and the ultrafilter monad","year":2013,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":19,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Engineering and Physical Sciences Research Council","keywords":"Ultrafilter; Monad (category theory); Ultraproduct; Mathematics; Pure mathematics; Functor; Hausdorff space; Algebra over a field; Discrete mathematics","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.002545421,0.0002923244,0.0004051323,0.001445372,0.002258583,0.003565816,0.0004800622,0.0007895394,0.002703082],"category_scores_gemma":[0.002610047,0.0002924828,0.0008539277,0.0007339659,0.009781571,0.007593021,0.00405538,0.00221124,0.0004164544],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002156368,"about_ca_system_score_gemma":0.001201172,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002870165,"about_ca_topic_score_gemma":0.002203623,"domain_scores_codex":[0.998437,0.0004573987,0.00009400758,0.0003199608,0.0003838497,0.0003077661],"domain_scores_gemma":[0.997443,0.0009990645,0.0002442127,0.0004955941,0.0005144355,0.0003037713],"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.000008598755,0.000003642189,0.0001350783,0.00001030073,0.000002338085,0.00001737237,0.0002481596,0.00007937899,0.0002717094,0.9973131,0.0002231491,0.001687155],"study_design_scores_gemma":[0.00000920814,0.00002814422,0.0006479885,0.00002260697,0.00001088932,0.0001532337,0.0001878531,0.001482588,0.001594776,0.9707116,0.02513324,0.00001795738],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2761312,0.006905125,0.4864302,0.009963247,0.0009691523,0.00005664513,0.0004633254,0.0008785272,0.2182026],"genre_scores_gemma":[0.9463562,0.0006473766,0.02963222,0.00106334,0.000352262,0.0000731184,0.000148431,0.0001108775,0.02161621],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003565816,"threshold_uncertainty_score":0.01564556,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01094625589620107,"score_gpt":0.2676104440050406,"score_spread":0.2566641881088395,"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."}}