{"id":"W2164124713","doi":"10.2168/lmcs-8(3:6)2012","title":"Finite dimensional Hilbert spaces are complete for dagger compact closed categories","year":2012,"lang":"en","type":"article","venue":"Logical Methods in Computer Science","topic":"Algebraic structures and combinatorial models","field":"Mathematics","cited_by":33,"is_retracted":false,"has_abstract":true,"ca_institutions":"Dalhousie University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Dagger; Axiom; Hilbert space; Mathematics; Pure mathematics; Hilbert manifold; Algebra over a field; Mathematical analysis; Geometry","routes":{"ca_aff":true,"ca_fund":true,"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.003491481,0.0006604163,0.0008541719,0.001672393,0.002080952,0.003539897,0.00120816,0.001597799,0.005941526],"category_scores_gemma":[0.00774848,0.0007293796,0.001626422,0.001392151,0.006388832,0.01684743,0.005474031,0.004688453,0.001034298],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001516254,"about_ca_system_score_gemma":0.001205734,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001683553,"about_ca_topic_score_gemma":0.001707011,"domain_scores_codex":[0.9970953,0.0006561283,0.0002959699,0.0006870462,0.0007304619,0.0005351354],"domain_scores_gemma":[0.9926845,0.00383514,0.0005276226,0.0009838777,0.001474748,0.000494085],"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.000007931262,0.000009350018,0.0001622797,0.00002465651,0.000004553099,0.00004335416,0.000228915,0.0002100704,0.0003369427,0.9970169,0.0002868098,0.001668119],"study_design_scores_gemma":[0.000009619916,0.00001140918,0.0002432941,0.000007509087,0.000005280019,0.00006701182,0.0001328242,0.001334004,0.0006288916,0.9943995,0.003149338,0.00001137528],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3021189,0.001137667,0.5972813,0.003689071,0.0003625031,0.0001747377,0.00160446,0.000493087,0.09313829],"genre_scores_gemma":[0.9274366,0.0005530384,0.05674915,0.0007689389,0.0001684384,0.000232175,0.001114097,0.0001107112,0.01286668],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005941526,"threshold_uncertainty_score":0.01987642,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1704927727894412,"score_gpt":0.4197456512859538,"score_spread":0.2492528784965126,"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."}}