{"id":"W4413965836","doi":"10.70930/tac/qa04oz7o","title":"Sifted colimits, strongly finitary monads and continuousalgebras","year":2025,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Algebraic structures and combinatorial models","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Grantová Agentura České Republiky","keywords":"Finitary; Mathematics; Computer science; Algebra over a field; Pure mathematics","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.0007713565,0.0003270965,0.0003665191,0.001734072,0.001002206,0.002175611,0.0005472552,0.0004425647,0.002469377],"category_scores_gemma":[0.001369048,0.0002403093,0.0008389893,0.001061491,0.003233408,0.003694278,0.00264976,0.001188709,0.0002280835],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001124495,"about_ca_system_score_gemma":0.0005622984,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0015124,"about_ca_topic_score_gemma":0.001436504,"domain_scores_codex":[0.9990821,0.0001280666,0.00007378032,0.0002060791,0.0002753541,0.0002346431],"domain_scores_gemma":[0.9988056,0.0003089651,0.0002251837,0.000191793,0.0002222991,0.0002461164],"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.00003877665,0.00002558933,0.001796127,0.00004950451,0.00001977535,0.0001947017,0.0005079671,0.0009024646,0.002980636,0.9876983,0.0002129787,0.005573261],"study_design_scores_gemma":[0.0000185147,0.0001179211,0.004433956,0.0000436433,0.00006734697,0.0006366455,0.0007542442,0.008528262,0.008273292,0.9681841,0.008891514,0.00005067387],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7544025,0.001079332,0.2202287,0.0004439047,0.0001046611,0.00004928871,0.0004337789,0.0003896587,0.02286812],"genre_scores_gemma":[0.9873561,0.0001650713,0.008658325,0.0000527332,0.00004290497,0.00002158319,0.0001441419,0.00002212705,0.003536888],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.002469377,"threshold_uncertainty_score":0.008260906,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009698068200970704,"score_gpt":0.2682098689726857,"score_spread":0.258511800771715,"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."}}