Compositionality最新文献

筛选

英文中文

Traced Monads and Hopf Monads 跟踪单子和Hopf单子

Compositionality Pub Date : 2023-10-30 DOI: 10.32408/compositionality-5-10

Masahito Hasegawa, Jean-Simon Pacaud Lemay

{"title":"Traced Monads and Hopf Monads","authors":"Masahito Hasegawa, Jean-Simon Pacaud Lemay","doi":"10.32408/compositionality-5-10","DOIUrl":"https://doi.org/10.32408/compositionality-5-10","url":null,"abstract":"A traced monad is a monad on a traced symmetric monoidal category that lifts the traced symmetric monoidal structure to its Eilenberg-Moore category. A long-standing question has been to provide a characterization of traced monads without explicitly mentioning the Eilenberg-Moore category. On the other hand, a symmetric Hopf monad is a symmetric bimonad whose fusion operators are invertible. For compact closed categories, symmetric Hopf monads are precisely the kind of monads that lift the compact closed structure to their Eilenberg-Moore categories. Since compact closed categories and traced symmetric monoidal categories are closely related, it is a natural question to ask what is the relationship between Hopf monads and traced monads. In this paper, we introduce trace-coherent Hopf monads on traced monoidal categories, which can be characterized without mentioning the Eilenberg-Moore category. The main theorem of this paper is that a symmetric Hopf monad is a traced monad if and only if it is a trace-coherent Hopf monad. We provide many examples of trace-coherent Hopf monads, such as those induced by cocommutative Hopf algebras or any symmetric Hopf monad on a compact closed category. We also explain how for traced Cartesian monoidal categories, trace-coherent Hopf monads can be expressed using the Conway operator, while for traced coCartesian monoidal categories, any trace-coherent Hopf monad is an idempotent monad. We also provide separating examples of traced monads that are not Hopf monads, as well as symmetric Hopf monads that are not trace-coherent.","PeriodicalId":500901,"journal":{"name":"Compositionality","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136022833","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

Bayesian open games 贝叶斯开放对策

Compositionality Pub Date : 2023-10-04 DOI: 10.32408/compositionality-5-9

Bolt, Joe, Hedges, Jules, Zahn, Philipp

引用次数: 21

Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality 具有相关模态的Lambek微积分的范畴向量空间语义

Compositionality Pub Date : 2023-05-16 DOI: 10.32408/compositionality-5-2

McPheat, Lachlan, Sadrzadeh, Mehrnoosh, Wazni, Hadi, Wijnholds, Gijs

引用次数: 0