{"id":"W2187529425","doi":"10.70930/tac/2h6pqka0","title":"Injective hulls of partially ordered monoids","year":2012,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; McGill University","keywords":"Injective function; Mathematics; Hull; Class (philosophy); Resolution (logic); Order (exchange); Pure mathematics; Combinatorics; Discrete mathematics; Computer science; Artificial intelligence; Materials science; Composite material","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.0002766359,0.00006098026,0.000114428,0.00003689261,0.00006652781,0.000007225722,0.0002282512,0.00002734354,0.00000797655],"category_scores_gemma":[0.00002317257,0.00005081534,0.00002042007,0.0002111285,0.000205254,0.0002917856,0.00008554471,0.00003797695,0.000003810575],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000003055424,"about_ca_system_score_gemma":0.00001932681,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002879787,"about_ca_topic_score_gemma":5.708079e-7,"domain_scores_codex":[0.9995441,0.00004941493,0.0001401261,0.00009783069,0.00005882811,0.0001096494],"domain_scores_gemma":[0.9993479,0.0001773815,0.00009597504,0.000273322,0.00006619327,0.00003924357],"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.00001015682,0.00004867889,0.0003975473,0.00001109121,0.000008350936,1.852336e-8,0.001199171,0.00001807814,0.001922505,0.9708331,0.000005469526,0.02554587],"study_design_scores_gemma":[0.00008555417,0.00003794087,0.00221646,0.00000228906,0.000008571858,0.000002048815,0.0004618927,0.00003009747,0.06355021,0.9323077,0.001228503,0.00006878933],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0578216,0.0008754537,0.9381625,0.00004831678,0.00002268654,0.0001415964,0.000003231769,0.00003275111,0.002891857],"genre_scores_gemma":[0.9943352,0.00003676642,0.005408735,0.00002589323,0.00003248077,0.00006204729,0.000001606038,0.000002776567,0.00009453353],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9365135,"threshold_uncertainty_score":0.207219,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009531774528959841,"score_gpt":0.2525298149527726,"score_spread":0.2429980404238128,"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."}}