Traced monoidal categories
From MaRDI portal
Recommendations
Cites work
- Braided compact closed categories with applications to low dimensional topology
- Braided tensor categories
- Coherence for compact closed categories
- Coherence theorems via knot theory
- Iteration theories of synchronization trees
- Modulated bicategories
- Ribbon graphs and their invariants derived from quantum groups
- The geometry of tensor calculus. I
- Tortile Yang-Baxter operators in tensor categories
Cited in
(only showing first 100 items - show all)- Feedback for linearly distributive categories: Traces and fixpoints
- String diagrams for traced and compact categories are oriented 1-cobordisms
- Petri nets are dioids: a new algebraic foundation for non-deterministic net theory
- Complete Elgot monads and coalgebraic resumptions
- The uniformity principle on traced monoidal categories
- Simple free star-autonomous categories and full coherence
- Partially traced categories
- A specification structure for deadlock-freedom of synchronous processes
- Composing dinatural transformations: towards a calculus of substitution
- Circuit algebras are wheeled props
- A categorical foundation for structured reversible flowchart languages
- From global to local state, coalgebraically and compositionally
- Weakest preconditions in fibrations
- Parametrized fixed points and their applications to session types
- Partial traces on additive categories
- From reversible programming languages to reversible metalanguages
- Tensor topology
- A string diagrammatic axiomatisation of finite-state automata
- Dynamical systems and sheaves
- On traces of tensor representations of diagrams
- Drags: a compositional algebraic framework for graph rewriting
- Coherence for invertible objects and multigraded homotopy rings
- Traces in monoidal derivators, and homotopy colimits
- Trace and duality in symmetric monoidal categories
- A structural approach to reversible computation
- Affinization of monoidal categories
- Sheaf representation of monoidal categories
- Computation by interaction for space-bounded functional programming
- Monoidal indeterminates and categories of possible worlds
- An algebraic account of references in game semantics
- Join inverse categories as models of reversible recursion
- Finite dimensional Hilbert spaces are complete for dagger compact closed categories (extended abstract)
- A categorical framework for typing CCS-style process communication
- Traces in monoidal categories
- Physical traces: quantum vs. classical information processing
- GS theories: a syntax for higher-order graphs
- The uniformity principle on traced monoidal categories
- A categorical semantics of higher order store
- Duality and traces for indexed monoidal categories
- Event domains, stable functions and proof-nets
- Conformal field theory as a nuclear functor
- De-linearizing linearity: projective quantum axiomatics from strong compact closure
- Axiomatic description of mixed states from Selinger's CPM-construction
- POVMs and Naimark's theorem without sums
- A quantum double construction in Rel.
- From coalgebraic to monoidal traces
- Equational properties of fixed point operations in Cartesian categories: an overview
- Can a quantum computer run the von Neumann architecture?
- Traces for coalgebraic components
- Elgot theories: a new perspective on the equational properties of iteration
- The compositional construction of Markov processes. II
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics
- Geometry of synthesis. II: From games to delay-insensitive circuits
- Bialgebras in Rel
- Timed Sets, Functional Complexity, and Computability
- A Representation Theorem for Unique Decomposition Categories
- A Term-Graph Syntax for Algebras over Multisets
- Towards Quantum Field Theory in Categorical Quantum Mechanics
- An Australian conspectus of higher categories
- A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories
- Semantics of higher-order quantum computation via geometry of interaction
- Calculating Colimits Compositionally
- Attribute Grammars and Categorical Semantics
- Towards a typed geometry of interaction
- Schur-Finiteness and Endomorphisms Universally of Trace Zero Via Certain Trace Relations
- On traced monoidal closed categories
- Shadows and traces in bicategories
- Traces in symmetric monoidal categories
- Monoidal indeterminates and categories of possible worlds
- Traced Premonoidal Categories
- A categorical foundation for structured reversible flowchart languages: soundness and adequacy
- A Hoare logic for linear systems
- Generalized counting constraint satisfaction problems with determinantal circuits
- Semantics of value recursion for Monadic Input/Output
- Feedback, trace and fixed-point semantics
- scientific article; zbMATH DE number 806526 (Why is no real title available?)
- A Concurrent Graph Semantics for Mobile Ambients1 1Research partly supported by the EC TMR Network General Theory of Graph Transformation Systems (GETGRATS); by the EC Esprit WG Applications of Graph Transformations (APPLIGRAPH); and by the Italian MURST Project Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (TOSCA).
- The monoidal structure of Turing machines
- Towards Hilbert's 24th Problem: Combinatorial Proof Invariants
- Categorical rewriting of term-like structures
- Rewriting on cyclic structures: Equivalence between the operational and the categorical description
- On geometry of interaction for polarized linear logic
- A \(\mathsf{MALL}\) geometry of interaction based on indexed linear logic
- A practical type theory for symmetric monoidal categories
- scientific article; zbMATH DE number 7437711 (Why is no real title available?)
- Aspects of categorical recursion theory
- scientific article; zbMATH DE number 7450001 (Why is no real title available?)
- Why \textsf{FHilb} is not an interesting (co)differential category
- Semantic Foundations for Deterministic Dataflow and Stream Processing
- Weakest preconditions in fibrations
- String diagram rewrite theory II: Rewriting with symmetric monoidal structure
- String diagram rewrite theory. I: Rewriting with Frobenius structure
- The geometry of Bayesian programming
- scientific article; zbMATH DE number 7559395 (Why is no real title available?)
- Join inverse categories and reversible recursion
- Concurrent quantum strategies
- Inversion, iteration, and the art of dual wielding
- Perverse sheaves and knot contact homology
- Musings around the geometry of interaction, and coherence
- Towards a geometry of recursion
This page was built for publication: Traced monoidal categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4877674)
