{"id":"W2092385955","doi":"10.1007/s10485-008-9147-2","title":"The Universal Covering of an Inverse Semigroup","year":2008,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"semigroups and automata theory","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":false,"ca_institutions":"Carleton University","funders":"Instituto Superior Técnico; Tobacco Settlement Endowment Trust","keywords":"Mathematics; Inverse semigroup; Morphism; Inverse; Decidability; Covering space; Semigroup; Unitary state; Pure mathematics; Inverse element; Group (periodic table); Topos theory; Discrete mathematics; Special classes of semigroups; Geometry","routes":{"ca_aff":true,"ca_fund":false,"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.0001144754,0.0001313096,0.0001504675,0.00003480398,0.0003240732,0.00004340583,0.001062044,0.00006821665,0.00001229504],"category_scores_gemma":[0.0000118722,0.00008663711,0.00005074403,0.0002824709,0.0001997088,0.0001811129,0.0002334881,0.0001486479,0.00000795521],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003749632,"about_ca_system_score_gemma":0.00004418499,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007057143,"about_ca_topic_score_gemma":0.000008457367,"domain_scores_codex":[0.9989951,0.00003384678,0.0001773122,0.0002662757,0.0002708156,0.0002566775],"domain_scores_gemma":[0.9990954,0.0001508821,0.00009035075,0.0005354582,0.00002509981,0.0001028505],"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.00001307523,0.00001190269,0.00004348556,0.000002941675,0.00001213906,0.00001648468,0.0004692604,0.0002707937,0.005408461,0.9801366,0.0005031303,0.01311177],"study_design_scores_gemma":[0.0008805557,0.0001487931,0.01302631,0.000001101322,0.00001486694,0.0001838123,0.0006002702,0.01995456,0.03495308,0.9166646,0.01306931,0.0005027202],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8098675,0.0001116589,0.1818684,0.0001316877,0.0003543759,0.0001738773,0.000001503184,0.0002676066,0.00722339],"genre_scores_gemma":[0.9973969,0.0000314553,0.002289969,0.0001504662,0.00007050615,0.000004014689,0.000002695749,0.000008205086,0.00004574564],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1875294,"threshold_uncertainty_score":0.3532959,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01001570250056739,"score_gpt":0.2021650121590249,"score_spread":0.1921493096584575,"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."}}