{"id":"W2135833138","doi":"10.70930/tac/eni8t145","title":"Topos theoretic aspects of semigroup actions","year":2010,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Mathematics; Functor; Topos theory; Adjunction; Semigroup; Pure mathematics; Tensor product; Inverse semigroup; Sheaf; Krohn–Rhodes theory; Special classes of semigroups; Product (mathematics); Bicyclic semigroup; Unitary state; Algebra over a field","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.0005872452,0.00009990003,0.0001674979,0.00008006263,0.0001286044,0.00003088651,0.0005873463,0.00005743805,0.00004232335],"category_scores_gemma":[0.00006834588,0.00008733619,0.00004650444,0.0003573506,0.0006583034,0.0001832641,0.0002034278,0.000126752,0.000004424061],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000005241675,"about_ca_system_score_gemma":0.00005565604,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001187233,"about_ca_topic_score_gemma":0.00001154626,"domain_scores_codex":[0.9992266,0.00006922791,0.0002275104,0.0002350563,0.0001200535,0.0001215967],"domain_scores_gemma":[0.9983107,0.0005916209,0.0001260902,0.0007713073,0.0001450365,0.00005520467],"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.000005057851,0.00008164873,0.00008333752,0.0000271286,0.000008855835,1.056097e-7,0.0005420341,0.000007827572,0.008104309,0.9623294,0.000007959342,0.02880238],"study_design_scores_gemma":[0.00008099258,0.00003990273,0.0009779637,0.000002461007,0.00001217253,0.00001312931,0.0001844874,0.0003436694,0.0456313,0.9507916,0.001835763,0.00008657778],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1027028,0.0001458625,0.8725823,0.0003095509,0.0001179348,0.0003323911,0.000008648928,0.0001087983,0.02369167],"genre_scores_gemma":[0.990181,0.00001902797,0.009533127,0.00002005721,0.00005738655,0.00007484747,0.000002398727,0.000005014373,0.0001070952],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8874782,"threshold_uncertainty_score":0.3561467,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008040624050359924,"score_gpt":0.2471267730064971,"score_spread":0.2390861489561372,"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."}}