{"id":"W2082745618","doi":"10.1017/s0960129507006056","title":"Restriction categories III: colimits, partial limits and extensivity","year":2007,"lang":"en","type":"article","venue":"Mathematical Structures in Computer Science","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":45,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Coproduct; Mathematics; Limit (mathematics); Closed category; Distributive property; 2-category; Enriched category; Context (archaeology); Pure mathematics; Concrete category; Category theory; Algebra over a field; Mathematical analysis","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001542305,0.0001903991,0.000331644,0.0002012385,0.0002761605,0.00008231377,0.0004048401,0.0001372051,0.00004460792],"category_scores_gemma":[0.0006756138,0.0001537697,0.00003395468,0.0005275914,0.001599998,0.0001878429,0.0002593275,0.0002882147,0.000005676958],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006612999,"about_ca_system_score_gemma":0.00006832475,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001461581,"about_ca_topic_score_gemma":0.00004252161,"domain_scores_codex":[0.9980117,0.00006934997,0.0004656022,0.0004854558,0.0003799529,0.0005879092],"domain_scores_gemma":[0.9981977,0.001054157,0.0001112426,0.0003839268,0.00008468987,0.0001682613],"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.00002597216,0.00006274217,0.001377699,0.00003650741,0.000004786228,0.00007798052,0.0009260008,0.000007070836,0.0003532268,0.9768874,0.00008212672,0.0201585],"study_design_scores_gemma":[0.0003158245,0.0000762231,0.02305741,0.00001872566,0.000009890902,0.0003350281,0.00005547827,0.004524314,0.003739677,0.9676369,0.00005291589,0.0001776087],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6509486,0.00002857355,0.3475349,0.0002225452,0.0004429978,0.0001803655,6.729234e-7,0.00006597789,0.000575342],"genre_scores_gemma":[0.9393755,0.000006156741,0.06020878,0.0002189607,0.0001604888,0.000006375948,3.599681e-7,0.00000863541,0.00001480034],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2884268,"threshold_uncertainty_score":0.6270546,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03226011253922527,"score_gpt":0.3198217263919793,"score_spread":0.287561613852754,"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."}}