Results 51 to 60 of about 687,146 (243)
Models of Type Theory Based on Moore Paths [PDF]
Logical Methods in Computer Science, 2019 This paper introduces a new family of models of intensional Martin-L\"of type theory. We use constructive ordered algebra in toposes. Identity types in the models are given by a notion of Moore path.
Ian Orton, Andrew M. Pitts
doaj +1 more source
The Unification of Mathematics via Topos Theory
, 2022 We present a set of principles and methodologies which may serve as foundations of a unifying theory of Mathematics. These principles are based on a new view of Grothendieck toposes as unifying spaces being able to act as `bridges' for transferring information, ideas and results between distinct mathematical theories.
openaire +3 more sources
Algebraic Theories and Commutativity in a Sheaf Topos [PDF]
Applied Categorical Structures, 2019 paper has been substantially ...
openaire +3 more sources
Strong phylogenetic congruence between Tulasnella fungi and their associated Drakaeinae orchids
Journal of Evolutionary Biology, Volume 36, Issue 1, Page 221-237, January 2023., 2023 Representatives of five genera of Drakaeinae orchids, from top left to bottom right: Arthrochilus latipes, Chiloglottis trilabra, Caleana major, Paracaleana minor, Drakaea livida. Abstract The study of congruency between phylogenies of interacting species can provide a powerful approach for understanding the evolutionary history of symbiotic ...
Arild R. Arifin +2 more
wiley +1 more source
Molecular Microbiology, Volume 119, Issue 1, Page 19-28, January 2023., 2023 Positive supercoils in DNA impede transcription: (a) failure to relax positive supercoils halts transcription elongation; (b) removal of the supercoils facilitates transcription. Abstract Transcription is a noisy and stochastic process that produces sibling‐to‐sibling variations in physiology across a population of genetically identical cells.
Charles J. Dorman
wiley +1 more source
Recent Advances in Wide‐Bandgap Perovskite Solar Cells
Advanced Materials, EarlyView.Ubiquitous defects predominately account for photo‐instability and open‐circuit voltage losses in wide‐bandgap perovskite solar cells (WBG PSCs). This review comprehensively presents the underlying impact mechanisms, summarizes the advanced optimization strategies across various functional layers and their interfaces to develop efficient and stable WBG
Jianjun Mei, Feng Yan
wiley +1 more source
Pour une théorie périphérique et/ou amoureuse : lectures d’Agamben, Derrida, Rancière
Interlitteraria, 2020 For a Peripheral Theory in Love: Reading Agamben, Derrida, Rancière. The introduction of Giorgio Agamben’s book entitled Stanzas, Word and Phantasm in Western Culture is about the relationship of philosophy and poetry to knowledge in Western culture. The
Francesca Manzari
doaj +1 more source
Advanced Science, EarlyView.In situ fabrication of large‐area, high‐quality organic‐inorganic hybrid perovskite ferroelectric (OIHPF) crystals and films via on‐demand electrohydrodynamic (EHD) printing modes. Abstract Traditional oxide ferroelectrics have long struggled to produce flexible, large‐area, and high‐quality thin films at low temperatures, despite their good ...
Jingjing Luo +9 more
wiley +1 more source
Mineral oil interferes with potato virus Y in aphid stylets
Plant Pathology, Volume 72, Issue 1, Page 170-178, January 2023., 2023 The mineral oil and the virus were visualized inside the insect's stylets and the mechanism by which the oil impacts virus acquisition seems to take place in the very early stages of acquisition. Abstract Mineral oils have been used for many decades to control the transmission of plant viruses and their ensuing epidemics.
Mounia Khelifa
wiley +1 more source
Kant and new mathematics 100 years later [PDF]
Кантовский сборник, 2015 Cassirer’s critique of Russell’s philosophy of mathematics and the Neo-Kantian philosophy of science and mathematics as a whole is of special relevance in the context of modern mathematics and mathematical physics.
Rodin A.
doaj +1 more source