{"id":"W28522922","doi":"10.1016/j.mattod.2017.01.013","title":"Terminal coalgebras for endofunctors on sets","year":2004,"lang":"en","type":"article","venue":"","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":18,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"National Cancer Institute; Houston Methodist Research Institute","keywords":"Functor; Coalgebra; Mathematics; Adjoint functors; Terminal (telecommunication); Functor category; Pure mathematics; Natural transformation; Algebra over a field; Category of sets; Discrete mathematics; Topology (electrical circuits); Combinatorics; Computer science","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.0005549619,0.0003276311,0.0002619133,0.00152914,0.000858323,0.001645345,0.0004008795,0.0003860332,0.006290477],"category_scores_gemma":[0.001037988,0.0001291355,0.0006180094,0.0003935017,0.002111559,0.004017083,0.001843089,0.001067253,0.0006630939],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005883399,"about_ca_system_score_gemma":0.0003194669,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003317552,"about_ca_topic_score_gemma":0.0003364044,"domain_scores_codex":[0.9996226,0.000052333,0.00002208063,0.00006192264,0.0001786341,0.00006250098],"domain_scores_gemma":[0.9994025,0.0002428268,0.00005478059,0.00007794481,0.0001103725,0.0001115306],"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.000008119074,0.000007700911,0.0003198391,0.00002522081,0.000003497953,0.00009023138,0.0002672404,0.0002674447,0.001402296,0.9931457,0.0001710769,0.004291678],"study_design_scores_gemma":[0.000005712734,0.000032378,0.0009600716,0.00001637004,0.00001103661,0.0002955255,0.000259206,0.002987004,0.003725434,0.982484,0.009211125,0.00001213814],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4778314,0.001560815,0.4042732,0.0007802361,0.0003304578,0.00007774748,0.0001806091,0.0004368684,0.1145287],"genre_scores_gemma":[0.9544657,0.0005679144,0.02739343,0.0001151169,0.000117411,0.00004581524,0.0001218439,0.00007349011,0.01709931],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.006290477,"threshold_uncertainty_score":0.02104372,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04556536762208625,"score_gpt":0.3359971031445245,"score_spread":0.2904317355224383,"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."}}