{"id":"W3086667163","doi":"10.70930/tac/ryb70k5o","title":"Partial evaluations and the compositional structure of the bar construction","year":2023,"lang":"en","type":"preprint","venue":"Theory and applications of categories","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Air Force Office of Scientific Research; National Defense Science and Engineering Graduate; University of Oxford; U.S. Department of Defense","keywords":"Monad (category theory); Finitary; Mathematics; Functor; Transitive relation; Partial function; Pure mathematics; Algebra over a field; Algebraic structure; Categorical variable; Distributive property; Set (abstract data type); Algebraic number; Expression (computer science); Discrete mathematics; Combinatorics; Computer science; 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.002294848,0.0003130927,0.0004298851,0.001038391,0.002373805,0.002774148,0.0008344785,0.0007820998,0.006286666],"category_scores_gemma":[0.003610437,0.0005227654,0.001041991,0.0006547337,0.005970312,0.007104692,0.00457881,0.001911145,0.0008681708],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001214816,"about_ca_system_score_gemma":0.001078632,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001702697,"about_ca_topic_score_gemma":0.001961269,"domain_scores_codex":[0.9979239,0.0006176583,0.0001212878,0.0003902091,0.0005729689,0.000374036],"domain_scores_gemma":[0.9980394,0.0006357005,0.0001322616,0.0004773841,0.0005274655,0.0001878474],"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.00001571366,0.00001089467,0.0001973964,0.00002115218,0.000003676045,0.00006277491,0.000501974,0.0003768974,0.00135973,0.99148,0.00016778,0.005802022],"study_design_scores_gemma":[0.000009862017,0.00003933946,0.0003624036,0.00002006494,0.00002445393,0.0001733801,0.0002798166,0.005386957,0.005439075,0.9793194,0.0089166,0.00002869013],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2249056,0.0005849668,0.6675965,0.001132162,0.0001924238,0.0001227057,0.0001796877,0.00134688,0.103939],"genre_scores_gemma":[0.9032635,0.0002337312,0.07816124,0.0002362697,0.0001058253,0.0001008678,0.0001341294,0.0003451096,0.01741932],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006286666,"threshold_uncertainty_score":0.02103102,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02069145009903476,"score_gpt":0.3148050679645919,"score_spread":0.2941136178655571,"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."}}