{"id":"W17485640","doi":"10.70930/tac/3t10x9pb","title":"On extensions of lax monads","year":2004,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Fundação para a Ciência e a Tecnologia; Universidade de Coimbra","keywords":"Monad (category theory); Ultrafilter; Mathematics; Pure mathematics; Morphism; Descent (aeronautics); Extension (predicate logic); Section (typography); Tensor product; Algebra over a field; Discrete mathematics; Computer science; Functor","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.0001227196,0.00005213534,0.00009012427,0.00004155982,0.00007651849,0.000005803817,0.0002171548,0.00002103686,0.000004197485],"category_scores_gemma":[0.00002101673,0.00004168996,0.0000199484,0.0001815099,0.0001896256,0.0000957048,0.00005428202,0.00003793825,0.00000465506],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000003550578,"about_ca_system_score_gemma":0.00002239494,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003110716,"about_ca_topic_score_gemma":6.465995e-7,"domain_scores_codex":[0.9996295,0.00001714703,0.0001101736,0.0001169646,0.00006179841,0.00006440732],"domain_scores_gemma":[0.9993885,0.000160971,0.00006071894,0.0003137654,0.00004939918,0.00002665268],"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.000007099243,0.00004231029,0.000005189128,0.000006843713,0.000003067805,1.482319e-7,0.0002285096,0.0003058496,0.001395936,0.9867466,0.000004088417,0.01125432],"study_design_scores_gemma":[0.00009959549,0.00005097469,0.0003164913,0.000004043583,0.000003331556,0.000002487072,0.0001031135,0.00001016056,0.0244654,0.974517,0.000383921,0.00004342068],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05884279,0.0003010957,0.9370677,0.0002006921,0.0000138988,0.0001050912,0.00000271925,0.00003532353,0.003430736],"genre_scores_gemma":[0.9952672,0.00004180151,0.004493277,0.0000690759,0.000009888447,0.00003046823,0.000001413689,0.000002288497,0.00008458013],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9364244,"threshold_uncertainty_score":0.1700068,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007629653076829406,"score_gpt":0.2417868340842249,"score_spread":0.2341571810073955,"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."}}