Results 1  10
of
15
Abstract scalars, loops, and free traced and strongly compact closed categories
 PROCEEDINGS OF CALCO 2005, VOLUME 3629 OF SPRINGER LECTURE NOTES IN COMPUTER SCIENCE
, 2005
"... We study structures which have arisen in recent work by the present author and Bob Coecke on a categorical axiomatics for Quantum Mechanics; in particular, the notion of strongly compact closed category. We explain how these structures support a notion of scalar which allows quantitative aspects of ..."
Abstract

Cited by 24 (5 self)
 Add to MetaCart
We study structures which have arisen in recent work by the present author and Bob Coecke on a categorical axiomatics for Quantum Mechanics; in particular, the notion of strongly compact closed category. We explain how these structures support a notion of scalar which allows quantitative aspects of physical theory to be expressed, and how the notion of strong compact closure emerges as a significant refinement of the more classical notion of compact closed category. We then proceed to an extended discussion of free constructions for a sequence of progressively more complex kinds of structured category, culminating in the strongly compact closed case. The simple geometric and combinatorial ideas underlying these constructions are emphasized. We also discuss variations where a prescribed monoid of scalars can be ‘glued in ’ to the free construction.
Introducing categories to the practicing physicist. In: What is Category Theory
 Advanced Studies in Mathematics and Logic 30, pp.45–74, Polimetrica Publishing
, 2006
"... We argue that category theory should become a part of the daily practice of the physicist, and more specific, the quantum physicist and/or informatician. The reason for this is not that category theory is a better way of doing mathematics, but that monoidal categories constitute the actual algebra o ..."
Abstract

Cited by 12 (7 self)
 Add to MetaCart
We argue that category theory should become a part of the daily practice of the physicist, and more specific, the quantum physicist and/or informatician. The reason for this is not that category theory is a better way of doing mathematics, but that monoidal categories constitute the actual algebra of practicing physics. We will not provide rigorous definitions or anything resembling a coherent mathematical theory, but we will take the reader for a journey introducing concepts which are part of category theory in a manner that the physicist will recognize them. 1 Why? Why would a physicist care about category theory, why would he want to know about it, why would he want to show off with it? There could be many reasons. For example, you might find John Baez’s webside one of the coolest in the world. Or you might be fascinated by Chris Isham’s and Lee Smolin’s ideas on the use of topos theory in Quantum Gravity. Also the connections between knot theory, braided categories, and sophisticated mathematical physics such as quantum groups and topological quantum field theory might lure you. Or, if you are also into pure mathematics, you might just appreciate category theory due to its incredible unifying power of mathematical structures and constructions. But there is a far more onthenose reason which is never mentioned. Namely, a category is the exact mathematical structure of practicing physics! What do I mean here by a practicing physics? Consider a physical system of type A (e.g. a qubit, or two qubits, or an electron, or classical measurement data) and perform an operation f on it (e.g. perform a measurement on it) which results in a system possibly of a different type B (e.g. the system together with classical data which encodes the measurement outcome, or, just classical data in the case that the measurement destroyed the system). So typically we have
Quantum informationflow, concretely, abstractly
 PROC. QPL 2004
, 2004
"... These ‘lecture notes ’ are based on joint work with Samson Abramsky. I will survey and informally discuss the results of [3, 4, 5, 12, 13] in a pedestrian not too technical way. These include: • ‘The logic of entanglement’, that is, the identification and abstract axiomatization of the ‘quantum info ..."
Abstract

Cited by 10 (4 self)
 Add to MetaCart
These ‘lecture notes ’ are based on joint work with Samson Abramsky. I will survey and informally discuss the results of [3, 4, 5, 12, 13] in a pedestrian not too technical way. These include: • ‘The logic of entanglement’, that is, the identification and abstract axiomatization of the ‘quantum informationflow ’ which enables protocols such as quantum teleportation. 1 To this means we defined strongly compact closed categories which abstractly capture the behavioral properties of quantum entanglement. • ‘Postulates for an abstract quantum formalism ’ in which classical informationflow (e.g. token exchange) is part of the formalism. As an example, we provided a purely formal description of quantum teleportation and proved correctness in abstract generality. 2 In this formalism types reflect kinds, contra the essentially typeless von Neumann formalism [25]. Hence even concretely this formalism manifestly improves on the usual one. • ‘A highlevel approach to quantum informatics’. 3 Indeed, the above discussed work can be conceived as aiming to solve: von Neumann quantum formalism � highlevel language lowlevel language. I also provide a brief discussion on how classical and quantum uncertainty can be mixed in the above formalism (cf. density matrices). 4
TemperleyLieb Algebra: From Knot Theory to . . .
"... Our aim in this paper is to trace some of the surprising and beautiful connections which are beginning to emerge between a number of apparently disparate topics. ..."
Abstract

Cited by 10 (1 self)
 Add to MetaCart
Our aim in this paper is to trace some of the surprising and beautiful connections which are beginning to emerge between a number of apparently disparate topics.
Kindergarten quantum mechanics — lecture notes
 In: Quantum Theory: Reconsiderations of the Foundations III
, 2005
"... Abstract. These lecture notes survey some joint work with Samson Abramsky as it was presented by me at several conferences in the summer of 2005. It concerns ‘doing quantum mechanics using only pictures of lines, squares, triangles and diamonds’. This picture calculus can be seen as a very substanti ..."
Abstract

Cited by 9 (7 self)
 Add to MetaCart
Abstract. These lecture notes survey some joint work with Samson Abramsky as it was presented by me at several conferences in the summer of 2005. It concerns ‘doing quantum mechanics using only pictures of lines, squares, triangles and diamonds’. This picture calculus can be seen as a very substantial extension of Dirac’s notation, and has a purely algebraic counterpart in terms of socalled Strongly Compact Closed Categories (introduced by Abramsky and I in [3, 4]) which subsumes my Logic of Entanglement [11]. For a survey on the ‘what’, the ‘why ’ and the ‘hows ’ I refer to a previous set of lecture notes [12, 13]. In a last section we provide some pointers to the body of technical literature on the subject.
Dagger categories and formal distributions
"... Summary. Monoidal dagger categories play a central role in the abstract quantum mechanics of Abramsky and Coecke. The authors show that a great deal of elementary quantum mechanics can be carried out in these categories; for example, the Born rule emerges naturally. In this paper, we construct a cat ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
Summary. Monoidal dagger categories play a central role in the abstract quantum mechanics of Abramsky and Coecke. The authors show that a great deal of elementary quantum mechanics can be carried out in these categories; for example, the Born rule emerges naturally. In this paper, we construct a category of tame formal distributions with coefficients in a commutative associative algebra and show that it is a dagger category. This gives access to a broad new class of models, with the abstract scalars in the sense of Abramsky being the elements of the algebra. We will also consider a subcategory of local formal distributions, based on the ideas of Kac. Locality has been of fundamental significance in various formulations of quantum field theory. Thus our work may provide the possibility of extending the abstract framework to QFT. We also show that these categories of formal distributions are monoidal and contain a nuclear ideal, a weak form of adjunction appropriate for analyzing categories
Categories for the practising physicist
"... in a somewhat unconventional manner. Our main focus will be on monoidal categories, mainly symmetric ones, for which we propose a physical interpretation. Special attention is given to the category of sets and relations, posetal categories, diagrammatic calculi, strictification, compact categories, ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
in a somewhat unconventional manner. Our main focus will be on monoidal categories, mainly symmetric ones, for which we propose a physical interpretation. Special attention is given to the category of sets and relations, posetal categories, diagrammatic calculi, strictification, compact categories, biproduct categories and abstract matrix calculi, internal structures, and topological quantum field theories. In our attempt to complement the existing literature we (on purpose) omitted some very basic topics for which we point to other available sources. 0 Prologue: cooking with vegetables Consider a raw potato. Conveniently, we refer to it as A. Raw potato A admits several states e.g. ‘dirty’, ‘clean’, ‘skinned’,... We usually don’t eat raw potatoes so we need to process A such that it becomes eatable. We refer to this cooked version of A as B. Also B admits several states e.g. ‘boiled’, ‘fried’, ‘baked with skin’, ‘baked without skin’,... Correspondingly, there are several ways to turn raw potato A into cooked potato B e.g. ‘boiling’, ‘frying’, ‘baking’, respectively referred to as f, f ′ and f ′ ′. We make the fact that these cooking processes apply to raw potato A and produce cooked potato B explicit by labelled arrows: A f ✲ B A f ′
Petri Nets, Discrete Physics, and Distributed Quantum Computation
"... This paper is dedicated to Ugo Montanari on the occasion of his 65th birthday. Abstract. We shall describe connections between Petri nets, quantum physics and category theory. The view of Net theory as a kind of discrete physics has been consistently emphasized by CarlAdam Petri. The connections be ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
This paper is dedicated to Ugo Montanari on the occasion of his 65th birthday. Abstract. We shall describe connections between Petri nets, quantum physics and category theory. The view of Net theory as a kind of discrete physics has been consistently emphasized by CarlAdam Petri. The connections between Petri nets and monoidal categories were illuminated in pioneering work by Ugo Montanari and José Meseguer. Recent work by the author and Bob Coecke has shown how monoidal categories with certain additional structure (dagger compactness) can be used as the setting for an effective axiomatization of quantum mechanics, with striking applications to quantum information. This additional structure matches the extension of the MontanariMeseguer approach by MartiOliet and Meseguer, motivated by linear logic. 1