scientific article; zbMATH DE number 1092354
From MaRDI portal
Publication:4367588
zbMath0889.18001MaRDI QIDQ4367588
F. William Lawvere, Stephen H. Schanuel
Publication date: 27 November 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01)
Related Items (33)
Sheaf-theoretic representation of quantum measure algebras ⋮ Category-theoretic analysis of the notion of complementarity for quantum systems ⋮ Unnamed Item ⋮ Metaphor-based meaning excavation ⋮ Quantum observables algebras and abstract differential geometry: the topos-theoretic dynamics of diagrams of commutative algebraic localizations ⋮ Internal diagrams and archetypal reasoning in category theory ⋮ On the mereological structure of complex states of affairs ⋮ Combinatorial micro-macro dynamical systems ⋮ Four ways from universal to particular: how Chomsky’s principles-and-parameters model is not selectionist ⋮ Higher Structures in M‐Theory ⋮ Competitive equilibrium with intuitionistic agents ⋮ F. William Lawvere (1937--2023): a lifelong struggle for the unity of mathematics ⋮ Towards a linear algebra of programming ⋮ Intermutation ⋮ Self-adjunctions and matrices. ⋮ Categorical pairs and the indicative shift ⋮ The logic of the future in quantum theory ⋮ An abstract cell model that describes the self-organization of cell function in living systems ⋮ Category-theoretic structure and radical ontic structural realism ⋮ Structural universals as structural parts: toward a general theory of parthood and composition ⋮ A mathematical theory of sign-mediated concept formation ⋮ THE LOGIC OF PARTITIONS: INTRODUCTION TO THE DUAL OF THE LOGIC OF SUBSETS ⋮ Boolean coverings of quantum observable structure: a setting for an abstract differential geometric mechanism ⋮ Category theory and set theory as theories about complementary types of universals ⋮ Algorithmic foundations of computable general equilibrium theory ⋮ Boolean information sieves: a local-to-global approach to quantum information ⋮ CATEGORICAL FOUNDATION OF QUANTUM MECHANICS AND STRING THEORY ⋮ Have Fun with Math and Music! ⋮ TOPOS-THEORETIC CLASSIFICATION OF QUANTUM EVENTS STRUCTURES IN TERMS OF BOOLEAN REFERENCE FRAMES ⋮ Schema Mappings: A Case of Logical Dynamics in Database Theory ⋮ Rosen's modelling relations via categorical adjunctions ⋮ The hole argument and some physical and philosophical implications ⋮ A co-generic perspective on problems involving a shift between systems' different levels of analysis
This page was built for publication:
