{"id":"W3108159626","doi":"10.1007/978-3-030-80049-9_38","title":"Positive Enumerable Functors","year":2021,"lang":"en","type":"preprint","venue":"Lecture notes in computer science","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Functor; Recursively enumerable language; Mathematics; Enumeration; Pure mathematics; Discrete mathematics","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001547469,0.001146987,0.0007424254,0.003767443,0.002354996,0.003820217,0.001239928,0.001430539,0.01519972],"category_scores_gemma":[0.003929764,0.0007775438,0.0009297724,0.002061132,0.003128878,0.008681352,0.004847316,0.004324515,0.002910842],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001193183,"about_ca_system_score_gemma":0.000601557,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002349109,"about_ca_topic_score_gemma":0.0003341537,"domain_scores_codex":[0.9983327,0.0003403288,0.00008574541,0.0003650575,0.000612354,0.000263983],"domain_scores_gemma":[0.9972595,0.001452578,0.0001574293,0.0003063735,0.0004569704,0.000367178],"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.00001665067,0.00002447138,0.0001287544,0.00003026562,0.000004172696,0.00006101528,0.0001514241,0.0001905709,0.0008877904,0.9871454,0.001916583,0.009442952],"study_design_scores_gemma":[0.000007917453,0.00001013638,0.0002052967,0.00001818261,0.0000116215,0.000291478,0.00005862354,0.001503906,0.001286163,0.9837532,0.01284036,0.00001324579],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1976219,0.002734021,0.4390642,0.004118019,0.001530992,0.0001055565,0.0009628738,0.001969364,0.3518931],"genre_scores_gemma":[0.7994848,0.001642976,0.05852083,0.0009996508,0.0007831507,0.0001973299,0.0009917087,0.0005865547,0.136793],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01519972,"threshold_uncertainty_score":0.05084813,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02284298081447123,"score_gpt":0.3061794627422242,"score_spread":0.283336481927753,"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."}}