{"id":"W2060866535","doi":"10.1016/j.entcs.2011.01.010","title":"Finite Dimensional Hilbert Spaces are Complete for Dagger Compact Closed Categories (Extended Abstract)","year":2011,"lang":"en","type":"article","venue":"Electronic Notes in Theoretical Computer Science","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":21,"is_retracted":false,"has_abstract":true,"ca_institutions":"Dalhousie University","funders":"","keywords":"Dagger; Mathematics; Hilbert space; Pure mathematics; Algebra over a field; Discrete mathematics","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001214101,0.0003773604,0.0004484206,0.0002883536,0.0004854039,0.0002683787,0.0025793,0.00009708272,0.00006794601],"category_scores_gemma":[0.0003196484,0.0003053503,0.000135505,0.001076355,0.002261179,0.0009345235,0.0005261338,0.0004814333,0.00003649436],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000196542,"about_ca_system_score_gemma":0.0003452478,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000169889,"about_ca_topic_score_gemma":0.00002568664,"domain_scores_codex":[0.9961324,0.00008998457,0.0004717294,0.001157799,0.0005620022,0.001586045],"domain_scores_gemma":[0.9969417,0.001512195,0.0002010407,0.0008673179,0.0002178583,0.0002598706],"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.00005974362,0.0001747781,0.0002661027,0.00001059709,0.000009375478,0.00001572799,0.0005588426,0.0007492593,0.0005256604,0.9908554,0.00001588554,0.006758644],"study_design_scores_gemma":[0.0005218412,0.0004591079,0.007939158,0.00003257076,0.000004974154,0.0000270153,0.000006734854,0.306411,0.005060173,0.6789605,0.000182185,0.0003947011],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03631402,0.0001905545,0.9605978,0.001182028,0.0005360539,0.0004371121,0.000005969203,0.000190983,0.0005455002],"genre_scores_gemma":[0.9155439,0.000006852445,0.08345061,0.0008521757,0.00009927355,0.00002013416,0.000004003506,0.00001615996,0.000006918985],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8792298,"threshold_uncertainty_score":0.9999399,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02255216622699092,"score_gpt":0.2599459390046027,"score_spread":0.2373937727776118,"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."}}