Results 21 to 30 of about 700 (252)
Gelfand spectra in Grothendieck toposes using geometric mathematics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 In the (covariant) topos approach to quantum theory by Heunen, Landsman and Spitters, one associates to each unital C*-algebra, A, a topos T(A) of sheaves on a locale and a commutative C*-algebra, a, within that topos.
Bas Spitters +2 more
doaj +1 more source
Point-free Construction of Real Exponentiation [PDF]
Logical Methods in Computer Science, 2022 We define a point-free construction of real exponentiation and logarithms, i.e.\ we construct the maps $\exp\colon (0, \infty)\times \mathbb{R} \rightarrow \!(0,\infty),\, (x, \zeta) \mapsto x^\zeta$ and $\log\colon (1,\infty)\times (0, \infty ...
Ming Ng, Steven Vickers
doaj +1 more source
On the Nielsen-Schreier Theorem in Homotopy Type Theory [PDF]
Logical Methods in Computer Science, 2022 We give a formulation of the Nielsen-Schreier theorem (subgroups of free groups are free) in homotopy type theory using the presentation of groups as pointed connected 1-truncated types.
Andrew W Swan
doaj +1 more source
On the Structure of Abstract H*-Algebras [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 Previously we have shown that the topos approach to quantum theory of Doering and Isham can be generalised to a class of categories typically studied within the monoidal approach to quantum theory of Abramsky and Coecke.
Kevin Dunne
doaj +1 more source
Mathematics, 2021 The purpose of this paper is to promote new methods in mathematical modeling inspired by neuroscience—that is consciousness and subconsciousness—with an eye toward artificial intelligence as parts of the global brain.
Ileana Ruxandra Badea +3 more
doaj +1 more source
On Monstrosity of Metaphor in Cognitive Paradigm [PDF]
Известия Южного федерального университета: Филологические науки, 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
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
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
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