{"id":"W1983244685","doi":"10.1016/s0304-3975(00)00382-0","title":"Restriction categories I: categories of partial maps","year":2002,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":165,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Calgary","funders":"","keywords":"Coproduct; Mathematics; Closed category; Limit (mathematics); 2-category; Context (archaeology); Distributive property; Concrete category; Enriched category; Category theory; Derived category; Triangulated category; Dual (grammatical number); Pure mathematics; Algebra over a field; Linguistics; Functor","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":["sts"],"consensus_categories":[],"category_scores_codex":[0.0006436536,0.0001213065,0.0002329448,0.0001089789,0.0002408286,0.00003090987,0.0005453639,0.00008991432,0.0004936605],"category_scores_gemma":[0.0003169214,0.00009739454,0.00004842258,0.0005036764,0.007001058,0.0001429343,0.0002068818,0.0001660593,0.00005596894],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002414937,"about_ca_system_score_gemma":0.00003406696,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005957166,"about_ca_topic_score_gemma":9.510341e-7,"domain_scores_codex":[0.9985792,0.000123563,0.0003059311,0.0003040069,0.0003155959,0.0003716839],"domain_scores_gemma":[0.9988261,0.0004505982,0.00008853123,0.0004125625,0.00011964,0.0001025553],"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.000009500458,0.00008118476,0.0001631752,0.0000114255,0.00000545105,0.000009351261,0.0008570644,0.000002840858,0.0002209857,0.9961151,0.0002904218,0.002233493],"study_design_scores_gemma":[0.0001416663,0.0002519193,0.0001523817,0.000006204545,0.00001445093,0.00005231104,0.00003528077,0.005177103,0.01369004,0.9802344,0.0001335002,0.0001107502],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6535591,0.00005719281,0.32573,0.001780326,0.001412364,0.0002031282,0.000004718447,0.0001860496,0.01706718],"genre_scores_gemma":[0.9886233,0.00001091241,0.01107983,0.00008021735,0.0001456418,0.000006482154,5.696194e-7,0.000006548572,0.00004654408],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3350642,"threshold_uncertainty_score":0.9957013,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02829764923079037,"score_gpt":0.2807743840024217,"score_spread":0.2524767347716313,"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."}}