Category Theory has developed rapidly. This book aims to present those ideas and methods which can now be effectively used by Mathe­ maticians working in a variety of other fields of Mathematical research. This occurs at several levels. On the first level, categories provide a convenient conceptual language, based on the notions of category, functor, natural transformation, contravariance, and functor category. These notions are presented, with appropriate examples, in Chapters I and II. Next comes the fundamental idea of an adjoint (...) pair of functors. This appears in many substantially equivalent forms: That of universal construction, that of direct and inverse limit, and that of pairs offunctors with a natural isomorphism between corresponding sets of arrows. All these forms, with their interrelations, are examined in Chapters III to V. The slogan is "Adjoint functors arise everywhere". Alternatively, the fundamental notion of category theory is that of a monoid -a set with a binary operation of multiplication which is associative and which has a unit; a category itself can be regarded as a sort of general­ ized monoid. Chapters VI and VII explore this notion and its generaliza­ tions. Its close connection to pairs of adjoint functors illuminates the ideas of universal algebra and culminates in Beck's theorem characterizing categories of algebras; on the other hand, categories with a monoidal structure lead inter alia to the study of more convenient categories of topological spaces. (shrink)

In this paper we intend to discuss the importance of providing a physical representation of quantum superpositions which goes beyond the mere reference to mathematical structures and measurement outcomes. This proposal goes in the opposite direction to the project present in orthodox contemporary philosophy of physics which attempts to “bridge the gap” between the quantum formalism and common sense “classical reality”—precluding, right from the start, the possibility of interpreting quantum superpositions through non-classical notions. We will argue that in order to (...) restate the problem of interpretation of quantum mechanics in truly ontological terms we require a radical revision of the problems and definitions addressed within the orthodox literature. On the one hand, we will discuss the need of providing a formal redefinition of superpositions which captures explicitly their contextual character. On the other hand, we will attempt to replace the focus on the measurement problem, which concentrates on the justification of measurement outcomes from “weird” superposed states, and introduce the superposition problem which focuses instead on the conceptual representation of superpositions themselves. In this respect, after presenting three necessary conditions for objective physical representation, we will provide arguments which show why the classical representation of physics faces severe difficulties to solve the superposition problem. Finally, we will also argue that, if we are willing to abandon the presupposition according to which ‘Actuality = Reality’, then there is plenty of room to construct a conceptual representation for quantum superpositions. (shrink)

In classical physics, probabilistic or statistical knowledge has been always related to ignorance or inaccurate subjective knowledge about an actual state of affairs. This idea has been extended to quantum mechanics through a completely incoherent interpretation of the Fermi-Dirac and Bose-Einstein statistics in terms of "strange" quantum particles. This interpretation, naturalized through a widespread "way of speaking" in the physics community, contradicts Born's physical account of Ψ as a "probability wave" which provides statistical information about outcomes that, in fact, cannot (...) be interpreted in terms of 'ignorance about an actual state of affairs'. In the present paper we discuss how the metaphysics of actuality has played an essential role in limiting the possibilities of understating things differently. We propose instead a metaphysical scheme in terms of powers with definite potentia which allows us to consider quantum probability in a new light, namely, as providing objective knowledge about a potential state of affairs. (shrink)

In this paper we present a new categorical approach which attempts to provide an original understanding of QM. Our logos categorical approach attempts to consider the main features of the quantum formalism as the standpoint to develop a conceptual representation that explains what the theory is really talking about —rather than as problems that need to be bypassed in order to allow a restoration of a classical “common sense” understanding of what there is. In particular, we discuss a solution to (...) Kochen-Specker contextuality through the generalization of the meaning of global valuation. This idea has been already addressed by the so called topos approach to QM —originally proposed by Isham, Butterfiled and D ̈oring— in terms of sieve-valued valuations. The logos approach to QM presents a different solution in terms of the notion of intensive valuation. This new solution stresses an ontological reading of the quantum formalism and the need to restore an objective conceptual representation and understanding of quantum physical reality. (shrink)

In this paper we attempt to physically interpret the Modal Kochen–Specker theorem. In order to do so, we analyze the features of the possible properties of quantum systems arising from the elements in an orthomodular lattice and distinguish the use of “possibility” in the classical and quantum formalisms. Taking into account the modal and many worlds non-collapse interpretation of the projection postulate, we discuss how the MKS theorem rules the constraints to actualization, and thus, the relation between actual and possible (...) realms. (shrink)

It is known that the global state of a composite quantum system can be completely determined by specifying correlations between measurements performed on subsystems only. Despite the fact that the quantum correlations thus suffice to reconstruct the quantum state, we show, using a Bell inequality argument, that they cannot be regarded as objective local properties of the composite system in question. It is well known since the work of Bell, that one cannot have locally preexistent values for all physical quantities, (...) whether they are deterministic or stochastic. The Bell inequality argument we present here shows this is also impossible for correlations among subsystems of an individual isolated composite system. Neither of them can be used to build up a world consisting of some local realistic structure. As a corrolary to the result we argue that entanglement cannot be considered ontologically robust. The Bell inequality argument has an important advantage over others because it does not need perfect correlations but only statistical correlations. It can therefore easily be tested in currently feasible experiments using four particle entanglement. (shrink)

In honor of Daniel Greenberger's 65th birthday, I record for posterity two superb examples of his wit, offer a proof of an important theorem on quantum correlations that even those of us over 60 can understand, and suggest, by trying to make it look silly, that invoking “quantum nonlocality” as an explanation for such correlations may be too cheap a way out of the dilemma they pose.

'Correlations without correlata' is an influential way of thinking of quantum entanglement as a form primitive correlation which nonetheless maintains locality of quantum theory. A number of arguments have sought to suggest that such a view leads either to internal inconsistency or to conflict with the empirical predictions of quantum mechanics. Here wew explicate and provide a partial defence of the notion, arguing that these objections import unwarranted conceptions of correlation properties as hidden variables. A more plausible account sees the (...) properties in terms of Everettian relative states. The ontological robustness of entanglement is also defended from recent objections. (shrink)

I explore whether it is possible to make sense of the quantum mechanical description of physical reality by taking the proper subject of physics to be correlation and only correlation, and by separating the problem of understanding the nature of quantum mechanics from the hard problem of understanding the nature of objective probability in individual systems, and the even harder problem of understanding the nature of conscious awareness. The resulting perspective on quantum mechanics is supported by some elementary but insufficiently (...) emphasized theorems. Whether or not it is adequate as a new Weltanschauung, this point of view toward quantum mechanics provides a different perspective from which to teach the subject or explain its peculiar character to people in other fields. (shrink)

The density matrix ρ describing a decaying system can be expressed in terms of correlations among observables belonging to the subsystems. Due to this structure and to the difficulties in measuring higher rank tensors of decay products for a single decay event, it is found that the mean value of ρ cannot be determined, in general, from measurements on the decay products. We also discuss the consequences of this conclusion as far as tests of quantum mechanics are concerned.

This article sets forth and discusses the Ithaca Interpretation of Quantum Mechanics. Section 1 presents the standard formalism of quantum mechanics and the measurement problem. Section 2 sketches Everett's interpretation as a preamble to IIQM. Section 3 sets out IIQM's central claim: it is possible to make sense of quantum mechanics by taking as the proper subject of physics the correlations among subsystems. Section 4 introduces a theorem of quantum mechanics, the SSC theorem, which supports this claim. Section 5 contends (...) that at least two problems exist with IIQM, and one serious objection against it. Section 6 discusses a strategy based on relational probabilities to go around the objection. /// Este artículo presenta y discute la Interpretación de la Mecánica Cuántica de Ithaca. La sección 1 expone el formalismo estándar de la mecánica cuántica y el problema de la medición. La sección 2 bosqueja la interpretación de Everett como preámbulo a la IIQM. La sección 3 plantea la tesis central de la IIQM: es posible dar sentido a la mecánica cuántica tomando como sujeto propio de la física las correlaciones entre subsistemas. La sección 4 expone el teorema SSC de la mecánica cuántica que sustenta esta tesis. En la sección 5 se sostiene que existen al menos dos problemas con la IIQM, y una seria objeción en su contra. Para sortear esta objeción, la sección 6 discute una estrategia basada en probabilidades relacionales. (shrink)

In this paper we compare two different notions of 'power', both of which attempt to provide a realist understanding of quantum mechanics grounded on the potential mode of existence. For this propose we will begin by introducing two different notions of potentiality present already within Aristotelian metaphysics, namely, irrational potentiality and rational potentiality. After discussing the role played by potentiality within classical and quantum mechanics, we will address the notion of causal power which is directly related to irrational potentiality and (...) has been adopted by many interpretations of QM. We will then present the notion of immanent power which relates to rational potentiality and argue that this new concept presents important advantages regarding the possibilities it provides for understanding in a novel manner the theory of quanta. We end our paper with a comparison between both notions of 'power', stressing some radical differences between them. (shrink)

Any attempt to introduce probabilities into quantum mechanics faces difficulties due to the mathematical structure of Hilbert space, as reflected in Birkhoff and von Neumann's proposal for a quantum logic. The (consistent or decoherent) histories solution is provided by its single framework rule, an approach that includes conventional (Copenhagen) quantum theory as a special case. Mermin's Ithaca interpretation addresses the same problem by defining probabilities which make no reference to a sample space or event algebra (“correlations without correlata”). But this (...) leads to severe conceptual difficulties, which almost inevitably couple quantum theory to unresolved problems of human consciousness. Using histories allows a sharper quantum description than is possible with a density matrix, suggesting that the latter provides an ensemble rather than an irreducible single-system description as claimed by Mermin. The histories approach satisfies the first five of Mermin's desiderata for a good interpretation of quantum mechanics, including Einstein locality, but the Ithaca interpretation seems to have difficulty with the first (independence of observers) and the third (describing individual systems). (shrink)