Results 21 to 30 of about 673 (251)
Identification of novel neutralizing determinants for protection against HCV
Hepatology, EarlyView., 2022 Identification of novel neutralizing determinants for protection against hepatitis C virus. Abstract Background and Aims HCV evasion of neutralizing antibodies (nAb) results in viral persistence and poses challenges to the development of an urgently needed vaccine.
Garazi P. Alzua +12 more
wiley +1 more source
Transfinite limits in topos theory [PDF]
Theory and Applications of Categories, 2016 23 ...
Moritz Kerz
openalex +4 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 +1 more source
On Monstrosity of Metaphor in Cognitive Paradigm [PDF]
Izvestiâ Ûžnogo Federalʹnogo Universiteta: Filologičeskie Nauki, 2016 Khazagerov Georgy Georgievich - Ph.D. of philology, professor. Russian language dpt. Institute of philology, journalism and cross-cultural communication. Southern Federal University. Abstract.
Георгий Георгиевич Хазагеров
doaj +4 more sources
Spectral Presheaves, Kochen-Specker Contextuality, and Quantale-Valued Relations [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 In the topos approach to quantum theory of Doering and Isham the Kochen–Specker Theorem, which asserts the contextual nature of quantum theory, can be reformulated in terms of the global sections of a presheaf characterised by the Gelfand spectrum of
Kevin Dunne
doaj +1 more source
Lawvere-Tierney sheafification in Homotopy Type Theory
Journal of Formalized Reasoning, 2016 Sheafification is a popular tool in topos theory which allows to extend the internal logic of a topos with new principles. One of its most famous applications is the possibility to transform a topos into a boolean topos using the dense topology, which ...
Kevin Quirin, Nicolas Tabareau
doaj +1 more source
Axioms for Modelling Cubical Type Theory in a Topos [PDF]
Logical Methods in Computer Science, 2018 The homotopical approach to intensional type theory views proofs of equality as paths. We explore what is required of an object $I$ in a topos to give such a path-based model of type theory in which paths are just functions with domain $I$.
Ian Orton, Andrew M. Pitts
doaj +1 more source
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 ...
Heunen, Chris +2 more
openaire +5 more sources
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.
openaire +1 more source
Two Constructivist Aspects of Category Theory
Philosophia Scientiæ, 2006 Category theory has two unexpected links to constructivism: First, why is topos logic so close to intuitionistic logic? The paper argues that in part the resemblance is superficial, in part it is due to selective attention, and in part topos theory is ...
Colin McLarty
doaj +1 more source