{"id":"W2000480185","doi":"10.1016/j.tcs.2007.06.004","title":"Fibrations and universal view updatability","year":2007,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":30,"is_retracted":false,"has_abstract":false,"ca_institutions":"Mount Allison University","funders":"","keywords":"Computer science; Mathematics; Theoretical computer science; Programming language; Algebra over a field; Pure mathematics","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.006179074,0.0008695704,0.001635282,0.002920593,0.00382419,0.006162975,0.001829318,0.002167395,0.008109905],"category_scores_gemma":[0.01971075,0.00223412,0.002552847,0.002646857,0.0103174,0.03283239,0.01003473,0.004585699,0.001009991],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001279584,"about_ca_system_score_gemma":0.0008487493,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001602808,"about_ca_topic_score_gemma":0.001068509,"domain_scores_codex":[0.9928458,0.001425157,0.0009252579,0.002376054,0.001345924,0.001081685],"domain_scores_gemma":[0.9692389,0.01591888,0.00223281,0.008433551,0.002665526,0.001510149],"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.000116378,0.00003845576,0.001503832,0.00006109759,0.00003057388,0.0004400932,0.002346117,0.0007165859,0.001408653,0.9799021,0.0009729493,0.01246319],"study_design_scores_gemma":[0.00003533961,0.00002411585,0.0004406014,0.00002940836,0.00005769801,0.0005361947,0.0003366373,0.003969995,0.002230153,0.9864432,0.00586313,0.00003358637],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2249213,0.001211454,0.737222,0.002622493,0.0002778786,0.0001095458,0.0004904719,0.003166698,0.02997815],"genre_scores_gemma":[0.9045833,0.0007341921,0.08185142,0.0004560916,0.0003299126,0.0001287958,0.0005693082,0.001121565,0.01022538],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008109905,"threshold_uncertainty_score":0.03267848,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007948658562605852,"score_gpt":0.2533700398334985,"score_spread":0.2454213812708927,"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."}}