Inversion, Iteration, and the Art of Dual Wielding
From MaRDI portal
Publication:5237212
DOI10.1007/978-3-030-21500-2_3zbMath1467.68083arXiv1904.01679OpenAlexW2934171040MaRDI QIDQ5237212
Publication date: 17 October 2019
Published in: Reversible Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1904.01679
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50) Enriched categories (over closed or monoidal categories) (18D20) Dagger categories, categorical quantum mechanics (18M40)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Towards a quantum domain theory: order-enrichment and fixpoints in \(W^*\)-algebras
- Join inverse categories and reversible recursion
- Categories of quantum and classical channels
- Functorial polymorphism
- Bar categories and star operations
- Algebraically compact functors
- Recursive data types in algebraically \(\omega\)-complete categories
- Involutive categories and monoids, with a GNS-correspondence
- Dagger Compact Closed Categories and Completely Positive Maps
- Towards a Reversible Functional Language
- Finite dimensional Hilbert spaces are complete for dagger compact closed categories
- Information effects
- Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview
- Monads on dagger categories
- A Survey of Graphical Languages for Monoidal Categories
- A Representation Theorem for Unique Decomposition Categories
- New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
- The Category-Theoretic Solution of Recursive Domain Equations
- Traced Premonoidal Categories
- Unique decomposition categories, Geometry of Interaction and combinatory logic
- Traced monoidal categories
- On the Functor ℓ2
- Fixed Point Theory
- Limits in dagger categories
- Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories
- Restriction categories. I: Categories of partial maps
- An effect-theoretic account of Lebesgue integration
- Retracing some paths in process algebra
This page was built for publication: Inversion, Iteration, and the Art of Dual Wielding
