{"id":"W4413966000","doi":"10.70930/tac/oj2bs96h","title":"Introduction to Coalgebra","year":2005,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Coalgebra; Mathematics; 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.001177774,0.001086874,0.001070958,0.00324849,0.001817476,0.003799212,0.001295551,0.001624486,0.09977718],"category_scores_gemma":[0.003143946,0.0007361093,0.001160019,0.004414728,0.002646626,0.0069669,0.002361919,0.00454936,0.04055555],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002388577,"about_ca_system_score_gemma":0.001872409,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001175755,"about_ca_topic_score_gemma":0.001148091,"domain_scores_codex":[0.9985467,0.0003571597,0.0001244635,0.0003848954,0.0004509513,0.0001358374],"domain_scores_gemma":[0.9983608,0.000784774,0.00007831008,0.0002098534,0.0003987722,0.0001674278],"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.0000331382,0.00004342793,0.0003319315,0.000541398,0.00001710911,0.0001241931,0.0007434198,0.0006638393,0.0009623058,0.623332,0.2603692,0.1128382],"study_design_scores_gemma":[0.000002489073,0.00001609518,0.0001886669,0.0001431429,0.000002607131,0.0002513056,0.00006455004,0.0002294129,0.0001197465,0.1575094,0.8414612,0.00001138016],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.003754303,0.1529859,0.1918527,0.02354511,0.01749113,0.0001560465,0.003127593,0.003234699,0.6038525],"genre_scores_gemma":[0.1210672,0.1279947,0.09271307,0.01901142,0.02708361,0.000434971,0.005318746,0.003513205,0.602863],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.09977718,"threshold_uncertainty_score":0.333788,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007935133698058643,"score_gpt":0.2365587807478605,"score_spread":0.2286236470498019,"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."}}