{"id":"W143227194","doi":"10.70930/tac/077xcw8v","title":"An extended view of the Chu-construction","year":2006,"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":"Technische Universität Braunschweig","keywords":"Generalization; Base (topology); Mathematics; Algebra over a field; Span (engineering); Natural (archaeology); Computer science; Pure mathematics; Combinatorics; Discrete mathematics; Arithmetic; Engineering; History; Structural engineering; Mathematical analysis; Archaeology","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.0008099484,0.0003794413,0.0003210592,0.001507164,0.001605756,0.00263942,0.0007960807,0.0008907032,0.01020904],"category_scores_gemma":[0.0008738213,0.0002993908,0.0005698264,0.0009462197,0.002998543,0.004608999,0.002712579,0.001271539,0.0009924269],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001187261,"about_ca_system_score_gemma":0.00068099,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002359099,"about_ca_topic_score_gemma":0.001538297,"domain_scores_codex":[0.9992688,0.0002094462,0.00003346045,0.000154082,0.0002026239,0.0001315788],"domain_scores_gemma":[0.9992746,0.0001832661,0.0000534769,0.0001512113,0.0002335452,0.0001038948],"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.000005824249,0.000002933867,0.000119519,0.00002082391,0.000002675719,0.00005031288,0.000258278,0.0002854322,0.0005651445,0.9933473,0.0003969879,0.004944639],"study_design_scores_gemma":[0.000004360867,0.00003068913,0.000539461,0.00003584024,0.00001124385,0.0004751789,0.0003742045,0.006418134,0.001392653,0.9214255,0.06927156,0.00002125733],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.100595,0.003356562,0.6357969,0.001500526,0.0003787459,0.00006640782,0.0004618778,0.0006683015,0.2571758],"genre_scores_gemma":[0.8507159,0.001193532,0.09900588,0.0008477326,0.000325346,0.0001368915,0.0003751521,0.0001924081,0.04720719],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01020904,"threshold_uncertainty_score":0.03415269,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007455301293532728,"score_gpt":0.2335256533302291,"score_spread":0.2260703520366963,"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."}}