{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00258786,0.0004391527,0.0005563012,0.002230742,0.001511304,0.004337068,0.0007983194,0.001067032,0.004086839],"category_scores_gemma":[0.003272619,0.0003945867,0.0008240996,0.001181839,0.009922632,0.008229308,0.005603053,0.001617392,0.000452187],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001337977,"about_ca_system_score_gemma":0.000723809,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00149194,"about_ca_topic_score_gemma":0.0006919889,"domain_scores_codex":[0.9980308,0.0005461863,0.0001553056,0.0003818348,0.0005956606,0.0002901967],"domain_scores_gemma":[0.9979941,0.0007383521,0.0002134256,0.000401807,0.00040388,0.0002484403],"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.000007286267,0.000005241679,0.000385942,0.00002790117,0.000007938866,0.0001022484,0.0006917751,0.0002863768,0.0006736926,0.994396,0.0002054177,0.003210208],"study_design_scores_gemma":[0.000004852543,0.0000279228,0.0008337088,0.00004554225,0.00001126667,0.0003598458,0.0007235869,0.001309172,0.001072388,0.9812439,0.01435097,0.00001681052],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.440793,0.008225058,0.3226281,0.003254368,0.0003210945,0.0001122285,0.0002781585,0.0004422425,0.2239457],"genre_scores_gemma":[0.959375,0.001487814,0.01639584,0.0004748976,0.0002594431,0.0001227142,0.0001811439,0.00009124923,0.02161194],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004337068,"threshold_uncertainty_score":0.01368606,"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."}}