Results 1 to 10 of about 700 (252)
Fuzzy Set Theory and Topos Theory [PDF]
Canadian Mathematical Bulletin, 1986 AbstractThe relation between the categories of Fuzzy Sets and that of Sheaves is explored and the precise connection between them is explicated. In particular, it is shown that if the notion of fuzzy sets is further fuzzified by making equality (as well as membership) fuzzy, the resultant categories are indeed toposes.
Michael Barr
exaly +5 more sources
A Topos for Algebraic Quantum Theory [PDF]
Communications in Mathematical Physics, 2009 The aim of this paper is to relate algebraic quantum mechanics to topos theory, so as to construct new foundations for quantum logic and quantum spaces. Motivated by Bohr's idea that the empirical content of quantum physics is accessible only through classical physics, we show how a C*-algebra of observables A induces a topos T(A) in which the ...
Chris Heunen +2 more
exaly +9 more sources
A Topos Theory Foundation for Quantum Mechanics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 The theory of quantum mechanics is examined using non-standard real numbers, called quantum real numbers (qr-numbers), that are constructed from standard Hilbert space entities.
John V Corbett
doaj +4 more sources
A category theory perspective on the Language of Thought: LoT is universal [PDF]
Frontiers in PsychologyThe Language of Thought (LoT) hypothesis proposes that some collections of mental states and processes are symbol systems to explain language-like systematic properties of thought.
Steven Phillips
doaj +2 more sources
, 2006 735 pages. An updated and expanded version of the earlier submission math.CT/0306109 2/10/07: Various minor additions and corrections; added some material on combinatorial model categories to the appendix. 3/8/7: Actually uploaded the update this time; added material on fiber products of higher topoi.
Jacob Lurie
openalex +3 more sources
First steps in synthetic guarded domain theory: step-indexing in the topos of trees [PDF]
Logical Methods in Computer Science, 2012 We present the topos S of trees as a model of guarded recursion. We study the internal dependently-typed higher-order logic of S and show that S models two modal operators, on predicates and types, which serve as guards in recursive definitions of terms,
Lars Birkedal +3 more
doaj +2 more sources
Transfinite limits in topos theory [PDF]
Theory and Applications of Categories, 2016 23 ...
Moritz Kerz
openalex +4 more sources
Topos theory and quantum logic [PDF]
, 2017 Contains fulltext : 170419.pdf (Publisher’s version ) (Open Access)
Klaas Landsman
openalex +3 more sources
Brain's geometries for movements and beauty judgments. A contribution of topos geometries [PDF]
Frontiers in PsychologyWe present a theory on the neural basis of aesthetic experience, and judgment of beauty. It is based on both empirical facts concerning brain mechanisms and theoretical mathematical theories.
Daniel Bennequin, Alain Berthoz
doaj +2 more sources
Shared Protentions in Multi-Agent Active Inference [PDF]
EntropyIn this paper, we unite concepts from Husserlian phenomenology, the active inference framework in theoretical biology, and category theory in mathematics to develop a comprehensive framework for understanding social action premised on shared goals.
Mahault Albarracin +5 more
doaj +2 more sources