{"id":"W4414001520","doi":"10.70930/tac/nral4ax4","title":"HSP subcategories of Eilenberg-Moore algebras","year":2002,"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":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Mathematics; Pure mathematics; Algebra over a field","routes":{"ca_aff":false,"ca_fund":true,"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.0003134352,0.0001419991,0.0002874882,0.00007806602,0.0001109968,0.000009424997,0.0002348022,0.00007566148,0.0002719265],"category_scores_gemma":[0.0002220634,0.0001285062,0.00005181398,0.0002514741,0.0007336283,0.000132715,0.00007877241,0.000102224,0.00001020192],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000009467934,"about_ca_system_score_gemma":0.00001249918,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002684267,"about_ca_topic_score_gemma":0.000001528872,"domain_scores_codex":[0.99909,0.00005950263,0.0003840474,0.0001801249,0.0001416651,0.0001447206],"domain_scores_gemma":[0.9982116,0.0008122106,0.0002448915,0.0005296218,0.0001571228,0.00004460404],"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.00001707535,0.00009627984,0.0001595182,0.0001733769,0.00003298824,2.536996e-7,0.00109664,8.087297e-7,0.0006703876,0.9908386,0.0001501298,0.006763908],"study_design_scores_gemma":[0.0001553281,0.00002885911,0.00008215524,0.00001016858,0.00004690221,0.000008493846,0.001041211,0.000004352733,0.02909587,0.9666469,0.002761377,0.0001184145],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.631436,0.005500223,0.2955181,0.0005243933,0.000123076,0.001213674,0.0000878949,0.0002910606,0.06530555],"genre_scores_gemma":[0.9902247,0.0002017065,0.007231314,0.00001569555,0.00006770865,0.0001244278,0.00000642486,0.00002154402,0.002106526],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3587886,"threshold_uncertainty_score":0.524033,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02329469270907321,"score_gpt":0.2863880832664205,"score_spread":0.2630933905573473,"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."}}