Contents

category theory

# Contents

## Definition

A symmetric monoidal dagger category is a braided monoidal dagger category $C$ which is also a symmetric monoidal category, i.e. such that for all objects $A \in Ob(C)$ and $B \in Ob(C)$, $\beta_{A,B} \circ \beta_{B, A} = \Iota_{A,B}$.
{"ft_lang_label":"__label__en","ft_lang_prob":0.720515,"math_prob":0.9986091,"size":461,"snap":"2022-40-2023-06","text_gpt3_token_len":110,"char_repetition_ratio":0.15973742,"word_repetition_ratio":0.0,"special_character_ratio":0.19956616,"punctuation_ratio":0.12195122,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9881017,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2023-02-04T16:22:00Z\",\"WARC-Record-ID\":\"<urn:uuid:465225d5-c285-404c-941e-5c3ea60d84a1>\",\"Content-Length\":\"19215\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:568f104b-728f-40a3-a082-b71ef21c350e>\",\"WARC-Concurrent-To\":\"<urn:uuid:49a080cc-d7db-4d07-86b8-a325497dc18c>\",\"WARC-IP-Address\":\"128.2.25.48\",\"WARC-Target-URI\":\"https://ncatlab.org/nlab/show/symmetric+monoidal+dagger+category\",\"WARC-Payload-Digest\":\"sha1:BSAZCBIXEFUFT426PIVSCL2HTRW7Q6G3\",\"WARC-Block-Digest\":\"sha1:EN3QMM5EWTNQOITJN6H5LWOTM2CGVT7G\",\"WARC-Identified-Payload-Type\":\"application/xhtml+xml\",\"warc_filename\":\"/cc_download/warc_2023/CC-MAIN-2023-06/CC-MAIN-2023-06_segments_1674764500140.36_warc_CC-MAIN-20230204142302-20230204172302-00055.warc.gz\"}"}