DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Traced monoidal category
Traced monoidal category
Bialgebras in Rel
On the Completeness of the Traced Monoidal Category Axioms in (Rel,+)∗
A Survey of Graphical Languages for Monoidal Categories
A Survey of Graphical Languages for Monoidal Categories
Some Aspects of Categories in Computer Science
Traced Monoidal Categories As Algebraic Structures in Prof
U Ottawa L'universite Canadienne Canada's University FACULTE DES ETUDES SUPERIEURES ^=1 FACULTY of GRADUATE and ET POSTOCTORALES U Ottawa POSDOCTORAL STUDIES
The Uniformity Principle on Traced Monoidal Categories†
Arxiv:0910.2931V1 [Quant-Ph] 15 Oct 2009 Fslne 2] Esosta H Rmwr Fcmltl Oiiem Positive Completely of Framework the That Shows He [25]
Tracing the Man in the Middle in Monoidal Categories Dusko Pavlovic
Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories
Rewriting Graphically with Cartesian Traced Categories
On Geometry of Interaction for Polarized Linear Logic
Functorial Boxes in String Diagrams Paul-André Melliès
A Representation Theorem for Unique Decomposition Categories
A Survey of Graphical Languages for Monoidal Categories
Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories
Tracing the Man in the Middle in Monoidal Categories
Top View
Functorial Boxes in String Diagrams Paul-André Melliès
A General Framework for Sound and Complete Floyd-Hoare Logics
Arxiv:2108.04557V1 [Math.CT] 10 Aug 2021
FORMAL LOGICAL METHODS for SYSTEM SECURITY and CORRECTNESS NATO Science for Peace and Security Series
The Uniformity Principle on Traced Monoidal Categories
5 Sep 2009 Braided Categorical Quantum Mechanics I
Abstract and Concrete Models for Recursion
Mathematical Foundations of Information Flow, Volume 71
Arxiv:2106.08896V1 [Math.CT] 16 Jun 2021 H Atc Fcnrlieptnscrepnst Hto Elemen of That to Corresponds Idempotents Central of Lattice the Categories
Traced Monoidal Categories
Partially Traced Categories
The Monoidal Structure of Turing Machines
A Relational Model of Non-Deterministic Dataflow
Trazas En Categorías Simétricas Monoidales
On Traced Monoidal Closed Categories
External Traced Monoidal Categories
On Coalgebras with Internal Moves Tomasz Brengos
Formalizing Category Theory in Agda CPP ’21, January 18–19, 2021, Virtual, Denmark
A Category for Modelling Dependence Relations and a Generalised Entropy Functor
Pictures of Processes