Results 11 to 20 of about 152,913 (283)
Topos models for physics and topos theory [PDF]
Journal of Mathematical Physics, 2014 What is the role of topos theory in the topos models for quantum theory as used by Isham, Butterfield, Döring, Heunen, Landsman, Spitters, and others? In other words, what is the interplay between physical motivation for the models and the mathematical framework used in these models?
Sander Wolters
openaire +6 more sources
Astronomy and Astrophysics, 2018 Context. Extremely metal-poor (EMP) stars provide us with indirect information on the first generations of massive stars. The TOPoS survey has been designed to increase the census of these stars and to provide a chemical inventory that is as detailed as ...
E. Caffau +17 more
semanticscholar +10 more sources
Mathematical Proceedings of the Cambridge Philosophical Society, 2013 AbstractWe define a new topos, the Herbrand topos, inspired by the modified realizability topos and our earlier work on Herbrand realizability. We also introduce the category of Herbrand assemblies and characterise these as the ¬¬-separated objects in the Herbrand topos.
Berg, Benno van den
openaire +5 more sources
A Grothendieck topos of generalized functions I: basic theory [PDF]
Dissertationes Mathematicae, 2021 The main aim of the present work is to arrive at a mathematical theory close to the historically original conception of generalized functions, i.e. set theoretical functions defined on, and with values in, a suitable ring of scalars and sharing a number ...
Paolo Giordano +2 more
semanticscholar +1 more source
Fingerprint of the first stars: multi-enriched extremely metal-poor stars in the TOPoS survey [PDF]
Monthly notices of the Royal Astronomical Society, 2018 Extremely metal poor (EMP) stars in the Milky Way inherited the chemical composition of the gas out of which they formed. They therefore carry the chemical fingerprint of the first stars in their spectral lines. It is commonly assumed that EMP stars form
T. Hartwig +3 more
semanticscholar +1 more source
Axioms for Modelling Cubical Type Theory in a Topos [PDF]
Annual Conference for Computer Science Logic, 2016 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$.
I. Orton, A. Pitts
semanticscholar +1 more source
Goodwillie's calculus of functors and higher topos theory [PDF]
Journal of Topology, 2017 We develop an approach to Goodwillie's calculus of functors using the techniques of higher topos theory. Central to our method is the introduction of the notion of fiberwise orthogonality, a strengthening of ordinary orthogonality which allows us to give
M. Anel +3 more
semanticscholar +1 more source
A homotopy-theoretic model of function extensionality in the effective topos [PDF]
Mathematical Structures in Computer Science, 2017 We present a way of constructing a Quillen model structure on a full subcategory of an elementary topos, starting with an interval object with connections and a certain dominance.
D. Frumin, Benno van den Berg
semanticscholar +1 more source
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
TP53 R249S mutation in hepatic organoids captures the predisposing cancer risk
Hepatology, EarlyView., 2022 The systematic approach in elucidating the gain‐of‐function (GOF) roles of TP53 mutations in early liver carcinogenesis. Unique downstream targets of TP53 L3 mutations were identified from chormatin immunoprecipitation sequencing in HCC cell lines, followed by a series of validation assays to substantiate the exclusive transcriptional regulations ...
Yin Kau Lam +10 more
wiley +1 more source