Coherence for closed categories with biproducts
A coherence result for symmetric monoidal closed categories with biproducts is shown in this paper. It is explained how to prove, by using the same technique, coherence for compact closed categories with biproducts and for dagger compact closed categories with dagger biproducts.
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | |
|---|---|
| container_issue | |
| container_start_page | |
| container_title | |
| container_volume | |
| creator | Petric, Zoran Zekic, Mladen |
| description | A coherence result for symmetric monoidal closed categories with biproducts
is shown in this paper. It is explained how to prove, by using the same
technique, coherence for compact closed categories with biproducts and for
dagger compact closed categories with dagger biproducts. |
| doi_str_mv | 10.48550/arxiv.2001.09736 |
| format | Article |
| fullrecord | <record><control><sourceid>arxiv_GOX</sourceid><recordid>TN_cdi_arxiv_primary_2001_09736</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2001_09736</sourcerecordid><originalsourceid>FETCH-LOGICAL-a676-c9c87a60fc508abbceae71841d53dd455af0a714982fa93ce70741641ac500dd3</originalsourceid><addsrcrecordid>eNotzrtOAzEQhWE3KVDgAajwC-xmHF-3RCtuUqQ06Vez4zGxFHDk3XB5eyCkOtV_9Alxq6A1wVpYYf3KH-0aQLXQee2uxKove678TixTqZIOZeIoCWd-LTXzJD_zvJdjPtYSTzRP12KR8DDxzWWXYvf4sOufm8326aW_3zTovGuoo-DRQSILAceRGNmrYFS0OkZjLSZAr0wX1gk7TezBG-WMwt8AYtRLcfd_exYPx5rfsH4Pf_LhLNc_MqA-Eg</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Coherence for closed categories with biproducts</title><source>arXiv.org</source><creator>Petric, Zoran ; Zekic, Mladen</creator><creatorcontrib>Petric, Zoran ; Zekic, Mladen</creatorcontrib><description>A coherence result for symmetric monoidal closed categories with biproducts
is shown in this paper. It is explained how to prove, by using the same
technique, coherence for compact closed categories with biproducts and for
dagger compact closed categories with dagger biproducts.</description><identifier>DOI: 10.48550/arxiv.2001.09736</identifier><language>eng</language><subject>Mathematics - Category Theory</subject><creationdate>2020-01</creationdate><rights>http://arxiv.org/licenses/nonexclusive-distrib/1.0</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>228,230,776,881</link.rule.ids><linktorsrc>$$Uhttps://arxiv.org/abs/2001.09736$$EView_record_in_Cornell_University$$FView_record_in_$$GCornell_University$$Hfree_for_read</linktorsrc><backlink>$$Uhttps://doi.org/10.48550/arXiv.2001.09736$$DView paper in arXiv$$Hfree_for_read</backlink></links><search><creatorcontrib>Petric, Zoran</creatorcontrib><creatorcontrib>Zekic, Mladen</creatorcontrib><title>Coherence for closed categories with biproducts</title><description>A coherence result for symmetric monoidal closed categories with biproducts
is shown in this paper. It is explained how to prove, by using the same
technique, coherence for compact closed categories with biproducts and for
dagger compact closed categories with dagger biproducts.</description><subject>Mathematics - Category Theory</subject><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2020</creationdate><recordtype>article</recordtype><sourceid>GOX</sourceid><recordid>eNotzrtOAzEQhWE3KVDgAajwC-xmHF-3RCtuUqQ06Vez4zGxFHDk3XB5eyCkOtV_9Alxq6A1wVpYYf3KH-0aQLXQee2uxKove678TixTqZIOZeIoCWd-LTXzJD_zvJdjPtYSTzRP12KR8DDxzWWXYvf4sOufm8326aW_3zTovGuoo-DRQSILAceRGNmrYFS0OkZjLSZAr0wX1gk7TezBG-WMwt8AYtRLcfd_exYPx5rfsH4Pf_LhLNc_MqA-Eg</recordid><startdate>20200127</startdate><enddate>20200127</enddate><creator>Petric, Zoran</creator><creator>Zekic, Mladen</creator><scope>AKZ</scope><scope>GOX</scope></search><sort><creationdate>20200127</creationdate><title>Coherence for closed categories with biproducts</title><author>Petric, Zoran ; Zekic, Mladen</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a676-c9c87a60fc508abbceae71841d53dd455af0a714982fa93ce70741641ac500dd3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2020</creationdate><topic>Mathematics - Category Theory</topic><toplevel>online_resources</toplevel><creatorcontrib>Petric, Zoran</creatorcontrib><creatorcontrib>Zekic, Mladen</creatorcontrib><collection>arXiv Mathematics</collection><collection>arXiv.org</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Petric, Zoran</au><au>Zekic, Mladen</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Coherence for closed categories with biproducts</atitle><date>2020-01-27</date><risdate>2020</risdate><abstract>A coherence result for symmetric monoidal closed categories with biproducts
is shown in this paper. It is explained how to prove, by using the same
technique, coherence for compact closed categories with biproducts and for
dagger compact closed categories with dagger biproducts.</abstract><doi>10.48550/arxiv.2001.09736</doi><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | DOI: 10.48550/arxiv.2001.09736 |
| ispartof | |
| issn | |
| language | eng |
| recordid | cdi_arxiv_primary_2001_09736 |
| source | arXiv.org |
| subjects | Mathematics - Category Theory |
| title | Coherence for closed categories with biproducts |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-04T12%3A00%3A49IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-arxiv_GOX&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Coherence%20for%20closed%20categories%20with%20biproducts&rft.au=Petric,%20Zoran&rft.date=2020-01-27&rft_id=info:doi/10.48550/arxiv.2001.09736&rft_dat=%3Carxiv_GOX%3E2001_09736%3C/arxiv_GOX%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true |