{"id":"W2184206415","doi":"10.70930/tac/u8qz4kfo","title":"The Frobenius relations meet linear distributivity","year":2010,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Distributivity; Tensor product; Distributive property; Mathematics; Frobenius algebra; Monoidal category; Symmetric monoidal category; Closed monoidal category; Algebra over a field; Tensor product of algebras; Pure mathematics; Dual (grammatical number); Tensor (intrinsic definition); Tensor product of modules; Frobenius theorem (differential topology); Tensor product of Hilbert spaces; Product (mathematics); Algebra representation; Tensor contraction; Linguistics; Functor","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007837478,0.00006434357,0.00008043967,0.00001744184,0.0005052972,0.00007378195,0.0004097729,0.00004620151,0.000004620249],"category_scores_gemma":[0.00007344379,0.00004169102,0.0000283066,0.0001879305,0.000346624,0.0001400366,0.0001016061,0.0001018347,0.00001422098],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000002961291,"about_ca_system_score_gemma":0.00003300865,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001897761,"about_ca_topic_score_gemma":0.000042172,"domain_scores_codex":[0.9994683,0.00006271536,0.0001438838,0.0001379621,0.00007953979,0.0001076063],"domain_scores_gemma":[0.9988352,0.0004473384,0.00009253965,0.0004976924,0.00008811987,0.00003909026],"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.000003025832,0.00001854115,0.000342874,0.00000379135,0.000006954213,5.870434e-8,0.0002206627,0.000001143808,0.0002909349,0.9814278,0.00009873675,0.01758547],"study_design_scores_gemma":[0.00005284493,0.00001223377,0.000728516,2.775986e-7,0.000006612846,0.000004255597,0.0001152433,0.0001234926,0.002381565,0.8828934,0.1136264,0.00005513618],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006187383,0.0003029537,0.9844139,0.0004320404,0.0001094603,0.0002297091,0.000004634022,0.00008205444,0.008237903],"genre_scores_gemma":[0.9981803,0.00001577397,0.000902933,0.000009797548,0.00007653203,0.0001064535,0.000005675474,0.000002913051,0.0006996318],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9919929,"threshold_uncertainty_score":0.3886389,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008202613125732526,"score_gpt":0.2408363641187119,"score_spread":0.2326337509929793,"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."}}