{"id":"W2962888532","doi":"10.70930/tac/ekkdj1hd","title":"Skew-monoidal reflection and lifting theorems","year":2015,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Advanced Topics in Algebra","field":"Mathematics","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Adjunction; Mathematics; Skew; Closed monoidal category; Symmetric monoidal category; Enriched category; Reflection (computer programming); Monoidal category; Pure mathematics; Higher category theory; Algebra over a field; Computer science; Functor; Programming language","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002233885,0.0004355583,0.0005442753,0.0008806096,0.001386776,0.001788372,0.0007766104,0.0006587618,0.007739001],"category_scores_gemma":[0.002863932,0.0004083361,0.001348973,0.0005075166,0.002327217,0.007265803,0.005269016,0.002565627,0.001447502],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006756996,"about_ca_system_score_gemma":0.0008877707,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004374949,"about_ca_topic_score_gemma":0.0004125978,"domain_scores_codex":[0.9984237,0.000241582,0.0001219211,0.0004548358,0.0004403428,0.0003176356],"domain_scores_gemma":[0.9980308,0.00049786,0.0001344345,0.0004764136,0.00059065,0.0002697025],"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.00002223314,0.00002402515,0.0003932017,0.00003783099,0.000008047111,0.0001751875,0.0003461795,0.0003629545,0.002788222,0.9838832,0.0009494872,0.01100937],"study_design_scores_gemma":[0.0000195812,0.00006451663,0.0009644171,0.00002744353,0.00002043283,0.0006922872,0.0004030462,0.002788274,0.006805307,0.9706752,0.01751027,0.00002908714],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2483333,0.0008801523,0.5981236,0.001957986,0.0005555388,0.0001224155,0.0004509928,0.0008336858,0.1487423],"genre_scores_gemma":[0.8952142,0.0008688018,0.06843018,0.0009325303,0.0003945576,0.0001507097,0.0005999317,0.0002979358,0.03311126],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007739001,"threshold_uncertainty_score":0.02588958,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.038755244475951,"score_gpt":0.3369960748031893,"score_spread":0.2982408303272384,"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."}}