{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002374264,0.0002405863,0.000491363,0.000121264,0.0002845286,0.0001300848,0.0006710471,0.000108943,0.0000377008],"category_scores_gemma":[0.001027442,0.0001681838,0.0001151965,0.0005240716,0.0005132868,0.0003141126,0.0003271588,0.0002265351,0.000003372629],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007658167,"about_ca_system_score_gemma":0.00005185326,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001454841,"about_ca_topic_score_gemma":0.000002000734,"domain_scores_codex":[0.9977525,0.0002925913,0.0003847517,0.0004632484,0.0003981559,0.0007087241],"domain_scores_gemma":[0.9942923,0.004747595,0.0001915829,0.0004063768,0.0001347385,0.0002273869],"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.0000513004,0.0002025981,0.002981557,0.00004146068,0.000013803,0.000002241616,0.0007105572,0.0006985408,0.0006487343,0.9863322,0.0003524315,0.00796451],"study_design_scores_gemma":[0.0004374326,0.0001122293,0.009296299,0.00003149041,0.00001025119,0.000009840331,0.00001913276,0.07441601,0.0007436969,0.9136799,0.0009743767,0.0002693419],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.09937117,0.000108008,0.8967074,0.0004647618,0.002771368,0.0003615622,0.000005321933,0.00006600873,0.0001444144],"genre_scores_gemma":[0.4774932,7.644873e-7,0.5218516,0.000344012,0.0002786807,0.00001049849,8.404849e-7,0.000007805957,0.00001256217],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3781221,"threshold_uncertainty_score":0.6858335,"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."}}