{"id":"W4413965842","doi":"10.70930/tac/wzssxz84","title":"Exponentiability in categories of relational structures","year":2023,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Computer science","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.002653969,0.0003616714,0.0004898772,0.001946884,0.001278985,0.002835989,0.0007419982,0.000852243,0.004477914],"category_scores_gemma":[0.008478185,0.0004891185,0.001089361,0.00117966,0.004917655,0.008547499,0.004876713,0.002122158,0.0004491951],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001285969,"about_ca_system_score_gemma":0.0006248772,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007119926,"about_ca_topic_score_gemma":0.0004685246,"domain_scores_codex":[0.9972942,0.0006756224,0.0003523237,0.0007307274,0.0005865555,0.000360425],"domain_scores_gemma":[0.9920173,0.005020813,0.0006720154,0.0009785938,0.0009036024,0.0004076551],"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.00002815134,0.000009452621,0.001181515,0.00007180118,0.00001188715,0.0001905913,0.0006498315,0.0005032053,0.001318873,0.9916496,0.0004125502,0.003972556],"study_design_scores_gemma":[0.00001612693,0.00002836303,0.001203369,0.00002841659,0.00001396251,0.0003226407,0.0004000366,0.002843165,0.001390392,0.9887124,0.005025994,0.00001511057],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5787131,0.002765329,0.3748305,0.003215679,0.0002071396,0.0001149696,0.0009880615,0.0003858489,0.03877921],"genre_scores_gemma":[0.9629352,0.000501787,0.03291851,0.000305729,0.0001485336,0.00007313268,0.0004612464,0.00004788119,0.002607978],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004477914,"threshold_uncertainty_score":0.01498014,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01663637083993036,"score_gpt":0.2555428681786593,"score_spread":0.2389064973387289,"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."}}