Looking at the operation of forming neat $\alpha $ -reducts as a functor, with $\alpha $ an infinite ordinal, we investigate when such a functor obtained by truncating $\omega $ dimensions, has a right adjoint. We show that the neat reduct functor for representable cylindric algebras does not have a right adjoint, while that of polyadic algebras is an equivalence. We relate this categorial result to several amalgamation properties for classes of representable algebras. We show that the variety (...) of cylindric algebras of infinite dimension, endowed with the merry go round identities, fails to have the amalgamation property answering a question of Németi’s. We also study two variants of the so-called cylindric polyadic algebras introduced by Ferenczi (all are reducts of polyadic equality algebras, that are also varieties). We show that one is more cylindric than polyadic, and that the other is more polyadic than cylindric. Our classification is determined by results on neat embeddings and amalgamation expressed from the point of view of category theory, thereby witnessing, and, indeed, further emphasizing, the dichotomy between the cylindric and polyadic paradigms. For example, the first class does not have the unique neat embedding property, fails to have the amalgamation property and the neat reduct functor does not have a right adjoint, while the second class has the unique neat emdedding property, the superamalgamation property and the neat reduct functor is strongly invertible. Other results, like first order definability of the class of neat reducts and the class of completely representable algebras, confirming our classification along these lines are presented. (shrink)

The aim of this paper is to give a general background and a uniform treatment of several notions of mutual interpretability. Sentential calculi are treated as preorders and logical invariants of adjoint situations, i.e. Galois connections are investigated. The class of all sentential calculi is treated as a quasiordered class.Some methods of the axiomatization of the M-counterparts of modal systems are based on particular adjoints. Also, invariants concerning adjoints for calculi with implication are pointed out. Finally, the notion (...) of interpretability is generalized so that it may be applied to closure spaces as well. (shrink)

In this paper some classical representational ideas of Hertz and Duhem are used to show how the dichotomy between representation and intervention can be overcome. More precisely, scientific theories are reconstructed as complex networks of intervening representations (or representational interventions). The formal apparatus developed is applied to elucidate various theoretical and practical aspects of the in vivo/in vitro problem of biochemistry. Moreover, adjoint situations (Galois connections) are used to explain the relation berween empirical facts and theoretical laws in (...) a new way. (shrink)

In this paper we use some ideas of Hertz and Duhem to propose a new concept of representation that overcomes the dichotomy between representation and intervention. It is based on the category-theoretical notion of adjoint situations and is used to explain the relation between empirical facts and theoretical laws in a new way.

In this paper we use some ideas of Hertz and Duhem to propose a new concept of representation that overcomes the dichotomy between representation and intervention. It is based on the category-theoretical notion of adjoint situations and is used to explain the relation between empirical facts and theoretical laws in a new way.

In standard model theory, deductions are not the things one models. But in general proof theory, in particular in categorial proof theory, one finds models of deductions, and the purpose here is to motivate a simple example of such models. This will be a model of deductions performed within an abstract context, where we do not have any particular logical constant, but something underlying all logical constants. In this context, deductions are represented by arrows in categories involved in a general (...) adjoint situation. To motivate the notion of adjointness, one of the central notions of category theory, and of mathematics in general, it is first considered how some features of it occur in set-theoretical axioms and in the axioms of the lambda calculus. Next, it is explained how this notion arises in the context of deduction, where it characterizes logical constants. It is shown also how the categorial point of view suggests an analysis of propositional identity. The problem of propositional identity, i.e., the problem of identity of meaning for propositions, is no doubt a philosophical problem, but the spirit of the analysis proposed here will be rather mathematical. Finally, it is considered whether models of deductions can pretend to be a semantics. This question, which as so many questions having to do with meaning brings us to that wall that blocked linguists and philosophers during the whole of the twentieth century, is merely posed. At the very end, there is the example of a geometrical model of adjunction. Without pretending that it is a semantics, it is hoped that this model may prove illuminating and useful. (shrink)

We review, and in the process unify two techniques , for proving results concerning amalgamation in several classes studied in algebraic logic. The logical counterpart of these results adress interpolation and definability properties in modal and algebraic logic. Presenting them in a functorial context as adjoint situations, we show that both techniques can indeed be seen as instances of the use of the Keisler-Shelah ultrapower Theorem in proving Robinson's Joint Consistency Theorem. Some new results are surveyed. The results (...) of this paper are presented in such a way that further establishes the hitherto existing well developed duality theory between boolean algebras with operators and modal logic. (shrink)

This paper is about equality of proofs in which a binary predicate formalizing properties of equality occurs, besides conjunction and the constant true proposition. The properties of equality in question are those of a preordering relation, those of an equivalence relation, and other properties appropriate for an equality relation in linear logic. The guiding idea is that equality of proofs is induced by coherence, understood as the existence of a faithful functor from a syntactical category into a category whose arrows (...) correspond to diagrams. Edges in these diagrams join occurrences of variables that must remain the same in every generalization of the proof. It is found that assumptions about equality of proofs for equality are parallel to standard assumptions about equality of arrows in categories. They reproduce standard categorial assumptions on a different level. It is also found that assumptions for a preordering relation involve an adjoint situation. (shrink)

In this paper some classical representational ideas of Hertz and Duhem are used to show how the dichotomy between representation and intervention can be overcome. More precisely, scientific theories are reconstructed as complex networks of intervening representations (or representational interventions). The formal apparatus developed is applied to elucidate various theoretical and practical aspects of the in vivo/in vitro problem of biochemistry. Moreover, adjoint situations (Galois connections) are used to explain the relation between empirical facts and theoretical laws in (...) a new way. (shrink)

In this paper we argue that philosophy of science is in need of a comprehensive and deep theory of scientific representation. We contend that such a theory has to take into account the conceptual evolution of the notion of representation in the empirical science and mathematics.In particular, it is pointed out that the category-theoretical notion of an adjoint situation may be useful to shed new light on the intricate relation between the empirical and the theoretical by showing that scientific (...) representations do not mirror reality but are to be conceived as devices for establishing scenarios for a variety of possible representational interventions and interpretations. (shrink)

This unique book provides a self-contained conceptual and technical introduction to the theory of differential sheaves. This serves both the newcomer and the experienced researcher in undertaking a background-independent, natural and relational approach to "physical geometry". In this manner, this book is situated at the crossroads between the foundations of mathematical analysis with a view toward differential geometry and the foundations of theoretical physics with a view toward quantum mechanics and quantum gravity. The unifying thread is provided by the theory (...) of adjoint functors in category theory and the elucidation of the concepts of sheaf theory and homological algebra in relation to the description and analysis of dynamically constituted physical geometric spectrums. (shrink)

We propose a simple situation in which the magnetic Aharonov–Bohm potential influences the values of the deficiency indices of the initial Schrödinger operator, so determining whether the particle interacts with the solenoid or not. Even with the particle excluded from the magnetic field, the number of self-adjoint extensions of the initial Hamiltonian depends on the magnetic flux. This is a new point of view of the Aharonov–Bohm effect.

Any attempt to construct a realist interpretation of quantum theory founders on the Kochen-Specker theorem, which asserts the impossibility of assigning values to quantum quantities in a way that preserves functional relations between them. We construct a new type of valuation which is defined on all operators, and which respects an appropriate version of the functional composition principle. The truth-values assigned to propositions are (i) contextual; and (ii) multi-valued, where the space of contexts and the multi-valued logic for each context (...) come naturally from the topos theory of presheaves. The first step in our theory is to demonstrate that the Kochen-Specker theorem is equivalent to the statement that a certain presheaf defined on the category of self-adjoint operators has no global elements. We then show how the use of ideas drawn from the theory of presheaves leads to the definition of a generalised valuation in quantum theory whose values are sieves of operators. In particular, we show how each quantum state leads to such a generalised valuation. A key ingredient throughout is the idea that, in a situation where no normal truth-value can be given to a proposition asserting that the value of a physical quantity A lies in a set D of real numbers , it is nevertheless possible to ascribe a partial truth-value which is determined by the set of all coarse-grained propositions that assert that some function f(A) lies in f(D), and that are true in a normal sense. The set of all such coarse-grainings forms a sieve on the category of self-adjoint operators, and is hence fundamentally related to the theory of presheave. (shrink)

We propose a sheaf-theoretic framework for the representation of a quantum observable structure in terms of Boolean information sieves. The algebraic representation of a quantum observable structure in the relational local terms of sheaf theory effectuates a semantic transition from the axiomatic set-theoretic context of orthocomplemented partially ordered sets, la Birkhoff and Von Neumann, to the categorical topos-theoretic context of Boolean information sieves, la Grothendieck. The representation schema is based on the existence of a categorical adjunction, which is used as (...) a theoretical platform for the development of a functorial formulation of information transfer, between quantum observables and Boolean localisation devices in typical quantum measurement situations. We also establish precise criteria of integrability and invariance of quantum information transfer by cohomological means. (shrink)

We construct a sheaf-theoretic representation of quantum observables algebras over a base category equipped with a Grothendieck topology, consisting of epimorphic families of commutative observables algebras, playing the role of local arithmetics in measurement situations. This construction makes possible the adaptation of the methodology of Abstract Differential Geometry (ADG), à la Mallios, in a topos-theoretic environment, and hence, the extension of the “mechanism of differentials” in the quantum regime. The process of gluing information, within diagrams of commutative algebraic localizations, (...) generates dynamics, involving the transition from the classical to the quantum regime, formulated cohomologically in terms of a functorial quantum connection, and subsequently, detected via the associated curvature of that connection. (shrink)

There is some consensus among orthodox category theorists that the concept of adjoint functors is the most important concept contributed to mathematics by category theory. We give a heterodox treatment of adjoints using heteromorphisms that parses an adjunction into two separate parts. Then these separate parts can be recombined in a new way to define a cognate concept, the brain functor, to abstractly model the functions of perception and action of a brain. The treatment uses relatively simple category theory (...) and is focused on the interpretation and application of the mathematical concepts. (shrink)

The fact that many modal operators are part of an adjunction is probably folklore since the discovery of adjunctions. On the other hand, the natural idea of a minimal propositional calculus extended with a pair of adjoint operators seems to have been formulated only very recently. This recent research, mainly motivated by applications in computer science, concentrates on technical issues related to the calculi and not on the significance of adjunctions in modal logic. It then seems a worthy enterprise (...) (both for these contemporary topical pursuits and also for historical interest) to trace the concept of adjunction back to the origins of the algebraic semantics of modal logic and to make explicit its ubiquity in this branch of mathematics. (shrink)

Since its formal definition over sixty years ago, category theory has been increasingly recognized as having a foundational role in mathematics. It provides the conceptual lens to isolate and characterize the structures with importance and universality in mathematics. The notion of an adjunction (a pair of adjoint functors) has moved to center-stage as the principal lens. The central feature of an adjunction is what might be called “determination through universals” based on universal mapping properties. A recently developed “heteromorphic” theory (...) about adjoints suggests a conceptual structure, albeit abstract and atemporal, for how new relatively autonomous behavior can emerge within a system obeying certain laws. The focus here is on applications in the life sciences (e.g., selectionist mechanisms) and human sciences (e.g., the generative grammar view of language). (shrink)

The aim of this paper is to contribute to the clarification of concepts usually found in books on quantum mechanics, aided by knowledge from the field of the theory of operators in Hilbert space. Frequently the basic distinction between bounded and unbounded operators is not established in books on quantum mechanics. It is repeatedly overlooked that the condition for an unbounded operator to be symmetric (Hermitian) is not sufficient to make it self-adjoint. To make things worse, nearly all operators (...) in quantum mechanics are unbounded. Often one finds statements such as: For any linear operator A we can write a Hermitian operator HA=(A+A+)/2, where Hermitian is thought to mean self-adjoint. Along these lines, self-adjointness of the momentum operator in generalized coordinates, taken from that expression, is questioned. In particular, the redescription in terms of spherical polar coordinates and its implications for the eventual loss of self-adjointness of the momenta conjugate to them are studied. (shrink)

Two approaches to understanding the idealizations that arise in the Aharonov–Bohm effect are presented. It is argued that a common topological approach, which takes the non-simply connected electron configuration space to be an essential element in the explanation and understanding of the effect, is flawed. An alternative approach is outlined. Consequently, it is shown that the existence and uniqueness of self-adjoint extensions of symmetric operators in quantum mechanics have important implications for philosophical issues. Also, the alleged indispensable explanatory role (...) of said idealizations is examined via a minimal model explanatory scheme. Last, the idealizations involved in the AB effect are placed in a wider philosophical context via a short survey of part of the literature on infinite and essential idealizations. (shrink)

Following a proposal of Humberstone, this paper studies a semantics for modal logic based on partial “possibilities” rather than total “worlds.” There are a number of reasons, philosophical and mathematical, to find this alternative semantics attractive. Here we focus on the construction of possibility models with a finitary flavor. Our main completeness result shows that for a number of standard modal logics, we can build a canonical possibility model, wherein every logically consistent formula is satisfied, by simply taking each individual (...) finite formula (modulo equivalence) to be a possibility, rather than each infinite maximally consistent set of formulas as in the usual canonical world models. Constructing these locally finite canonical models involves solving a problem in general modal logic of independent interest, related to the study of adjoint pairs of modal operators: for a given modal logic L, can we find for every formula φ a formula f(φ) such that for every formula ψ, φ → []ψ is provable in L if and only if f(φ) → ψ is provable in L? We answer this question for a number of standard modal logics, using model-theoretic arguments with world semantics. This second main result allows us to build for each logic a canonical possibility model out of the lattice of formulas related by provable implication in the logic. (shrink)

Saunders Mac Lane famously remarked that "Bourbaki just missed" formulating adjoints in a 1948 appendix (written no doubt by Pierre Samuel) to an early draft of Algebre--which then had to wait until Daniel Kan's 1958 paper on adjoint functors. But Mac Lane was using the orthodox treatment of adjoints that only contemplates the object-to-object morphisms within a category, i.e., homomorphisms. When Samuel's treatment is reconsidered in view of the treatment of adjoints using heteromorphisms or hets (object-to-object morphisms between objects (...) in different categories), then he, in effect, isolated the concept of a left representation solving a universal mapping problem. When dualized to obtain the concept of a right representation, the two halves only need to be united to obtain an adjunction. Thus Samuel was only a now-simple dualization away for formulating adjoints in 1948. Apparently, Bodo Pareigis' 1970 text was the first and perhaps only text to give the heterodox "new characterization" (i.e., heteromorphic treatment) of adjoints. Orthodox category theory uses various relatively artificial devices to avoid formally recognizing hets--even though hets are routinely used by the working mathematician. Finally we consider a "philosophical" question as to whether the most important concept in category theory is the notion of an adjunction or the notion of a representation giving a universal mapping property (where adjunctions arise as the special case of a bi-representation of dual universal mapping problems). (shrink)

Following a proposal of Humberstone, this paper studies a semantics for modal logic based on partial “possibilities” rather than total “worlds.” There are a number of reasons, philosophical and mathematical, to find this alternative semantics attractive. Here we focus on the construction of possibility models with a finitary flavor. Our main completeness result shows that for a number of standard modal logics, we can build a canonical possibility model, wherein every logically consistent formula is satisfied, by simply taking each individual (...) finite formula (modulo equivalence) to be a possibility, rather than each infinite maximally consistent set of formulas as in the usual canonical world models. Constructing these locally finite canonical models involves solving a problem in general modal logic of independent interest, related to the study of adjoint pairs of modal operators: for a given modal logic L, can we find for every formula phi a formula f(phi) such that for every formula psi, phi -> BOX psi is provable in L if and only if f(phi) -> psi is provable in L? We answer this question for a number of standard modal logics, using model-theoretic arguments with world semantics. This second main result allows us to build for each logic a canonical possibility model out of the lattice of formulas related by provable implication in the logic. (shrink)

The fact that many modal operators are part of an adjunction is probably folklore since the discovery of adjunctions. On the other hand, the natural idea of a minimal propositional calculus extended with a pair of adjoint operators seems to have been formulated only very recently. This recent research, mainly motivated by applications in computer science, concentrates on technical issues related to the calculi and not on the significance of adjunctions in modal logic. It then seems a worthy enterprise (...) (both for these contemporary topical pursuits and also for historical interest) to trace the concept of adjunction back to the origins of the algebraic semantics of modal logic and to make explicit its ubiquity in this branch of mathematics. (shrink)

It is argued that seemingly “merely technical” issues about the existence and uniqueness of self-adjoint extensions of symmetric operators in quantum mechanics have interesting implications for foundations problems in classical and quantum physics. For example, pursuing these technical issues reveals a sense in which quantum mechanics can cure some of the forms of indeterminism that crop up in classical mechanics; and at the same time it reveals the possibility of a form of indeterminism in quantum mechanics that is quite (...) distinct from the indeterminism of state vector collapse. More generally, the examples considered indicate that the classical–quantum correspondence is more intricate and delicate than is generally appreciated. The aim of the article is to give a series of examples that reveal why the technical issues about self-adjointness are relevant to the philosophy of science and that help to make the issues accessible to philosophers of science. (shrink)

We consider a simple modal logic whose nonmodal part has conjunction and disjunction as connectives and whose modalities come in adjoint pairs, but are not in general closure operators. Despite absence of negation and implication, and of axioms corresponding to the characteristic axioms of _T_, _S4_, and _S5_, such logics are useful, as shown in previous work by Baltag, Coecke, and the first author, for encoding and reasoning about information and misinformation in multiagent systems. For the propositional-only fragment of (...) such a dynamic epistemic logic, we present an algebraic semantics, using lattices with agent-indexed families of adjoint pairs of operators, and a cut-free sequent calculus. The calculus exploits operators on sequents, in the style of “nested” or “tree-sequent” calculi; cut-admissibility is shown by constructive syntactic methods. The applicability of the logic is illustrated by reasoning about the muddy children puzzle, for which the calculus is augmented with extra rules to express the facts of the muddy children scenario. (shrink)

There has been a lot of interest in generalizing orthodox quantum mechanics to include POV measures as observables, namely as unsharp obserrables. Such POV measures are related to symmetric operators. We have argued recently that only maximal symmetric operators should describe observables.1 This generalization to maximal symmetric operators has many physical applications. One application is in the area of quantization. We shall discuss a scheme, to he called quantization by parts,which can systematically deal with what may be called quantum circuits. (...) As a specific application we shall present a novel derivation of the famous Josephson equation for the supercurrent through a Josephson junction in a superconducting circuit. An interesting effect emerges from our quantization scheme when applied to a superconducting Y-shape circuit configuration. We also propose an experimental test for this effect which is expected to shed light on some conceptual problems on the quantum nature of the condensate. (shrink)

This paper introduces and studies hypo-EP matrices of adjointable operators on Hilbert C ∗ -modules, based on the generalized Schur complement. The necessary and sufficient conditions for some modular operator matrices to be hypo-EP are given, and some special circumstances are also analyzed. Furthermore, an application of the EP operator in operator equations is given.

Proponents of situated affectivity hold that “tools for feeling” are just as characteristic of the human condition as are “tools for thinking” or tools for carpentry. An agent’s affective life, they argue, is dependent upon both physical characteristics of the agent and the agent’s reciprocal relationship to an appropriately structured natural, technological, or social environment. One important achievement has been the distinction between two fundamentally different ways in which affectivity might be intertwined with the environment: the “user-resource-model” and the “mind-invasion-model.” (...) The twofold purpose of this paper is to complement the debate about situated affectivity in general and about “mind invasion” in particular by, firstly, connecting it to situationist research in social psychology and, secondly, broadening the perspective to not only accommodate decidedly detrimental “invasions” but also potentially beneficial forms of “mind shaping” that include the manipulation of an agent’s experiential life and behaviour through the moulding of both the agent’s environment and the agent’s body. (shrink)

Proponents of situated affectivity hold that “tools for feeling” are just as characteristic of the human condition as are “tools for thinking” or tools for carpentry. An agent’s affective life, they argue, is dependent upon both physical characteristics of the agent and the agent’s reciprocal relationship to an appropriately structured natural, technological, or social environment. One important achievement has been the distinction between two fundamentally different ways in which affectivity might be intertwined with the environment: the “user-resource-model” and the “mind-invasion-model.” (...) The twofold purpose of this paper is to complement the debate about situated affectivity in general and about “mind invasion” in particular by, firstly, connecting it to situationist research in social psychology and, secondly, broadening the perspective to not only accommodate decidedly detrimental “invasions” but also potentially beneficial forms of “mind shaping” that include the manipulation of an agent’s experiential life and behaviour through the moulding of both the agent’s environment and the agent’s body. (shrink)

In Situations and Individuals, Paul Elbourne argues that the natural language expressions that have been taken to refer to individuals — pronouns, proper names, and definite descriptions — have a common syntax and semantics, roughly that of definite descriptions as construed in the tradition of Frege. In the course of his argument, Elbourne shows that proper names have previously undetected donkey anaphoric readings.This is contrary to previous theorizing and, if true, would undermine what philosophers call the direct reference theory (...) (which holds that the sole contribution of a proper name to the truth conditions of a sentence is an individual) as well as the related doctrine that proper names are rigid designators. Elbourne begins by addressing donkey anaphora, relating other concerns about pronouns to the solution of this notorious problem. His subsequent argumentation provides a unified semantics for the donkey anaphoric and bound and referential uses of pronouns and discusses the prospect of unifying the syntax and semantics of pronouns with the syntax and semantics of normal definite descriptions. Elbourne's aim is not only to advance his proposal of a unified syntax and semantics but also to urge linguists and philosophers dealing with pronoun interpretation to consider a wider range of theories than they do at present, and to test the competing claims of description-based theories and dynamic semantics against the data. (shrink)

Situating the Self is a decisive intervention into debates concerning modernity, postmodernity, ehtics, and the self. It will be of interest to all concerned with critical theory or contemporary ethics.

For several examples of Hermitian operators, the issues involved in their possible self-adjoint extension are shown to conform with recognizable properties in the solutions to the associated classical equations of motion. This result confirms the assertion made in an earlier paper (Ref. 1) that there are sufficient classical “symptoms” to diagnose any quantum “illness.”.

This volume tackles the slippery subject of 'meaning'.

We prove, by using the concept of schematic interpretation, that the natural embedding from the category ISL, of intuitionistic sentential pretheories and i-congruence classes of morphisms, to the category CSL, of classical sentential pretheories and c-congruence classes of morphisms, has a left adjoint, which is related to the double negation interpretation of Gödel-Gentzen, and a right adjoint, which is related to the Law of Excluded Middle. Moreover, we prove that from the left to the right adjoint there (...) is a pointwise epimorphic natural transformation and that since the two endofunctors at CSL, obtained by adequately composing the aforementioned functors, are naturally isomorphic to the identity functor for CSL, the string of adjunctions constitutes an adjoint cylinder. On the other hand, we show that the operators of Lindenbaum-Tarski of formation of algebras from pretheories can be extended to equivalences of categories from the category CSL, respectively, ISL, to the category Bool, of Boolean algebras, respectively, Heyt, of Heyting algebras. Finally, we prove that the functor of regularization from Heyt to Bool has, in addition to its well-known right adjoint (that is, the canonical embedding of Bool into Heyt) a left adjoint, that from the left to the right adjoint there is a pointwise epimorphic natural transformation, and, finally, that such a string of adjunctions constitutes an adjoint cylinder. (shrink)