arXiv 1409.21482014-09-07math.CTmath.ATmath.QA

Quasistrict symmetric monoidal 2-categories via wire diagrams

Bruce Bartlett

备注：: 18 pages

英文摘要：

In this paper we give an expository account of quasistrict symmetric monoidal 2-categories, as introduced by Schommer-Pries. We reformulate the definition using a graphical calculus called wire diagrams, which facilitates computations and emphasizes the central role played by the interchangor coherence isomorphisms.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

闭合对称单调oidal范畴的字符串图

String Diagrams for Closed Symmetric Monoidal Categories

本文提出了一种基于扩展字符串图的图形语言，用于闭合对称单调oidal范畴，通过括号线显式表示内部同态，并通过示例展示了其在范畴论、逻辑和编程语言语义中的应用。

2025-12-06cs.LOmath.CT

Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing

This work is about diagrammatic languages, how they can be represented, and what they in turn can be used to represent. More specifically, it focuses on representations and applications of string diagrams. String diagrams are used to represent a collection of processes, depicted as "boxes" with multiple (typed) inputs and outputs, depicted as "wires". If we allow plugging input and output wires together, we can intuitively represent complex compositions of processes, formalised as morphisms in a monoidal category. [...] The first major contribution of this dissertation is the introduction of a…

2012-03-22cs.AImath.CTquant-ph

对称单子范畴中可组合的不确定性用于设计问题

Composable Uncertainty in Symmetric Monoidal Categories for Design Problems

University of Zurich（苏黎世大学）；Massachusetts Institute of Technology（麻省理工学院）

本研究通过整合马尔可夫范畴与对称单子范畴，提出了一种处理设计问题中不确定性的框架，利用参数化映射和重新参数化2-细胞，以实现更灵活的不确定性建模和系统设计。

2026-03-10math.CT

梯度字符串图用于不精确概率与因果干预

Graded String Diagrams for Imprecise Probability and Causal Intervention

University College London（伦敦大学学院）

本文提出了一种基于梯度字符串图的方法，用于建模不精确概率和因果干预，通过公理化呈现和案例研究展示了其应用。

2026-01-08cs.LOmath.CT

可组合的不确定性在对称单子范畴中用于设计问题（扩展版）

Composable Uncertainty in Symmetric Monoidal Categories for Design Problems (Extended Version)

University of Zurich（苏黎世大学）；Massachusetts Institute of Technology（麻省理工学院）

本文提出了一种在对称单子范畴中整合不确定性的方法，通过换基构造和单子选择，实现对设计问题中不确定性的建模与处理。

2025-09-01cs.SYeess.SYmath.CT

String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure

Symmetric monoidal theories (SMTs) generalise algebraic theories in a way that make them suitable to express resource-sensitive systems, in which variables cannot be copied or discarded at will. In SMTs, traditional tree-like terms are replaced by string diagrams, topological entities that can be intuitively thoughts as diagrams of wires and boxes. Recently, string diagrams have become increasingly popular as a graphical syntax to reason about computational models across diverse fields, including programming language semantics, circuit theory, quantum mechanics, linguistics, and control theory…

2022-09-14cs.LOmath.CTmath.LO