{"id":"W2046267553","doi":"10.1007/s10992-013-9280-8","title":"Symmetry, Compact Closure and Dagger Compactness for Categories of Convex Operational Models","year":2013,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Quantum Mechanics and Applications","field":"Physics and Astronomy","cited_by":24,"is_retracted":false,"has_abstract":false,"ca_institutions":"Perimeter Institute","funders":"Institut Périmètre de physique théorique; Engineering and Physical Sciences Research Council; University of Oxford","keywords":"Categorical quantum mechanics; Symmetric monoidal category; Mathematics; Compact space; Duality (order theory); Closed monoidal category; Closure (psychology); Pure mathematics; Enriched category; Quantum; Quantum operation; Quantum mechanics; Functor; Open quantum system; Physics","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.0001745625,0.0001115138,0.000335822,0.00005407392,0.00008427431,0.00004502786,0.0001413912,0.00004680203,0.0001381928],"category_scores_gemma":[0.000009756035,0.00007944855,0.0001266508,0.00007579856,0.00008053888,0.0002016983,0.0000206558,0.0001662792,0.000003120598],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000008505179,"about_ca_system_score_gemma":0.00005676024,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002304138,"about_ca_topic_score_gemma":1.386715e-7,"domain_scores_codex":[0.9991637,0.00002594685,0.0004216178,0.00009856271,0.0001662866,0.0001238188],"domain_scores_gemma":[0.9989134,0.0001482817,0.0002931509,0.00009653001,0.0004292496,0.0001193671],"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.00001740162,0.0001636626,0.0009007622,0.00001461952,0.00006707032,2.011859e-7,0.00003181511,0.0001857174,0.001405628,0.9964725,0.0005340345,0.0002065384],"study_design_scores_gemma":[0.0005767805,0.0001859468,0.0010958,0.00001644982,0.00003855505,0.000006637217,0.00006545299,0.015095,0.0006715111,0.9819883,0.0001711825,0.00008836297],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8078477,0.0002988537,0.1584988,0.03027051,0.0001793094,0.0005820306,0.0001701081,0.0000080925,0.00214466],"genre_scores_gemma":[0.9985145,0.000005867235,0.0008591988,0.0001447162,0.0004324375,0.000008937895,0.00001555522,0.000009102068,0.00000964892],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1906669,"threshold_uncertainty_score":0.3239818,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04564277945081551,"score_gpt":0.2904123143250641,"score_spread":0.2447695348742486,"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."}}