{"id":"W2140500391","doi":"10.1017/s0960129520003047","title":"Introduction to linear bicategories","year":2000,"lang":"en","type":"article","venue":"Mathematical Structures in Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":45,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University; University of Calgary","funders":"","keywords":"Mathematics; Linear logic; Generalization; Commutative property; Pure mathematics; Linear map; Algebra over a field; Linear algebra; Linear system; Discrete mathematics; 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.0007139423,0.0001677621,0.000219348,0.0002021437,0.0001938505,0.0004622777,0.001848283,0.00004497057,0.0001976584],"category_scores_gemma":[0.00007378209,0.0001237627,0.00004100977,0.001548796,0.0002875601,0.0005313928,0.0003698082,0.0001414785,0.0003997748],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006898001,"about_ca_system_score_gemma":0.00006051096,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001402643,"about_ca_topic_score_gemma":0.00000293773,"domain_scores_codex":[0.9978102,0.00004578265,0.0003404145,0.0007232924,0.0005845826,0.0004956608],"domain_scores_gemma":[0.9988096,0.00005982952,0.00004332808,0.0008193469,0.00007473354,0.0001931911],"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.000002504316,0.00003301945,0.00007691668,0.00001492721,0.000001500813,0.000009075674,0.0009433782,0.001417855,0.00008637863,0.7113811,0.0004034021,0.2856299],"study_design_scores_gemma":[0.0001596232,0.0001145849,0.001853352,0.000005158812,0.000001638485,0.0001383145,0.000008299844,0.2361659,0.001442814,0.7436442,0.01616763,0.0002984067],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01358727,0.00002043732,0.981977,0.001895039,0.0007669618,0.0002445001,1.474632e-7,0.00018593,0.001322755],"genre_scores_gemma":[0.7609202,0.000001136962,0.2379096,0.0003395201,0.0006839845,0.00001316142,3.35952e-7,0.000005439381,0.0001266259],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7473329,"threshold_uncertainty_score":0.513843,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01519423353517707,"score_gpt":0.2622797731231014,"score_spread":0.2470855395879243,"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."}}