{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003155358,0.00005141335,0.00008960954,0.00002336021,0.000112121,0.00002456268,0.0003295785,0.00002692845,0.000003275272],"category_scores_gemma":[0.000004230002,0.00003362703,0.00002589049,0.0002054183,0.0002906571,0.0001381883,0.00004131717,0.00003036205,0.000001358952],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000002896716,"about_ca_system_score_gemma":0.000020945,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004122594,"about_ca_topic_score_gemma":0.000005905195,"domain_scores_codex":[0.9995202,0.00007616815,0.0001543772,0.0001140392,0.00007237046,0.00006286756],"domain_scores_gemma":[0.9993398,0.00004310143,0.0001232362,0.0004157256,0.00006402617,0.00001408226],"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.000002145363,0.00002982869,0.0002733131,0.00002095543,0.000003106141,1.71394e-8,0.0001493586,0.000003702723,0.0009866219,0.9295858,0.000005704359,0.06893946],"study_design_scores_gemma":[0.00005526796,0.00001987929,0.002407878,0.000001239213,0.00000704022,0.000007688589,0.0001791107,0.00003202248,0.01662818,0.9753708,0.005248507,0.00004243915],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01962927,0.0008609631,0.9721209,0.00008133332,0.00006868041,0.0002830687,0.000001405144,0.00005232488,0.006902043],"genre_scores_gemma":[0.9986148,0.0000142366,0.001140277,0.00000880367,0.00004321821,0.00004694195,0.00000185867,0.00000217529,0.0001276531],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9789855,"threshold_uncertainty_score":0.1371271,"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."}}