{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008943868,0.0003313693,0.0003844804,0.001969424,0.001126425,0.002870701,0.0004937292,0.0003520477,0.002887926],"category_scores_gemma":[0.001946695,0.0004315027,0.0007585331,0.0008315017,0.003332809,0.004717285,0.002974983,0.0009662294,0.0003150832],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009397456,"about_ca_system_score_gemma":0.0003929669,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009526567,"about_ca_topic_score_gemma":0.0006317192,"domain_scores_codex":[0.9990807,0.0001673237,0.00007906723,0.0001608626,0.0003274447,0.000184618],"domain_scores_gemma":[0.9982563,0.0007075237,0.0002206146,0.0002928843,0.0002811341,0.0002415885],"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.00007766666,0.0000240713,0.001703912,0.00006634533,0.00001957614,0.0004801917,0.001164742,0.00121743,0.00480775,0.9801542,0.0004146736,0.00986954],"study_design_scores_gemma":[0.00002821344,0.0001082414,0.004678004,0.00005036751,0.00005651232,0.0008047021,0.00114393,0.01330684,0.01359267,0.9538916,0.01227695,0.00006193561],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7845849,0.0007233571,0.1748799,0.0002910209,0.0001205525,0.00004470455,0.0004041746,0.0004692764,0.03848222],"genre_scores_gemma":[0.9795678,0.0002322561,0.01300965,0.00005147707,0.00005619264,0.00003069012,0.0002802094,0.00004662204,0.006725055],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.002887926,"threshold_uncertainty_score":0.009661078,"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."}}