{"id":"W2611921753","doi":"10.14232/actacyb.23.1.2017.18","title":"On the Completeness of the Traced Monoidal Category Axioms in (Rel,+)","year":2017,"lang":"en","type":"article","venue":"Acta Cybernetica","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Memorial University of Newfoundland","funders":"","keywords":"Symmetric monoidal category; Closed monoidal category; Axiom; Enriched category; Mathematics; Higher category theory; Simple (philosophy); Monoidal category; Extension (predicate logic); Completeness (order theory); Pure mathematics; Algebra over a field; TRACE (psycholinguistics); Interpretation (philosophy); Discrete mathematics; Computer science; Linguistics; Functor; Mathematical analysis","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":[],"consensus_categories":[],"category_scores_codex":[0.0004411603,0.0001430498,0.0002728065,0.00003068307,0.0002556213,0.00002126488,0.001240745,0.000159984,0.000269027],"category_scores_gemma":[0.001145567,0.0000791625,0.00009429372,0.00005009779,0.0008678968,0.00003234229,0.000210444,0.0003572752,0.0000341094],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002025555,"about_ca_system_score_gemma":0.00004799017,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002903306,"about_ca_topic_score_gemma":0.0004500077,"domain_scores_codex":[0.998822,0.0002509239,0.0002963152,0.0001968487,0.0001665865,0.0002672968],"domain_scores_gemma":[0.9970832,0.001246103,0.000253591,0.00135562,0.00003003039,0.00003138407],"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.00004476183,0.0001660781,0.001308437,0.00001452701,0.00003437786,0.000009567379,0.001361052,0.000001770095,0.001608548,0.9936407,0.001082448,0.000727765],"study_design_scores_gemma":[0.0006579958,0.0001119214,0.1116788,0.00004518971,0.00003909117,0.00002356058,0.0002803512,0.0001730714,0.008655544,0.8776486,0.000525217,0.0001607169],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9683132,0.0000196759,0.00002382246,0.01036066,0.0002683186,0.0002997344,0.000004933311,0.0000214606,0.02068821],"genre_scores_gemma":[0.998757,0.000006308986,0.00006096946,0.0003117369,0.00003714405,0.00003715189,4.510835e-7,0.00002152415,0.0007676982],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1159921,"threshold_uncertainty_score":0.3228153,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04673592593306464,"score_gpt":0.3035491491656458,"score_spread":0.2568132232325812,"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."}}