Results 81 to 90 of about 2,348,941 (273)
Enriching Laser Powder Bed Fusion Part Data Using Category Theory
Laser powder bed fusion (LPBF) is a promising metal additive manufacturing technology for producing functional components. However, there are still a lot of obstacles to overcome before this technology is considered mature and trustworthy for wider ...
Yuchu Qin +6 more
doaj +1 more source
Open Markov Processes: A Compositional Perspective on Non-Equilibrium Steady States in Biology
In recent work, Baez, Fong and the author introduced a framework for describing Markov processes equipped with a detailed balanced equilibrium as open systems of a certain type.
Blake S. Pollard
doaj +1 more source
In category theory, the use of string diagrams is well known to aid in the intuitive understanding of certain concepts, particularly when dealing with adjunctions and monoidal categories. We show that string diagrams are also useful in exploring fundamental properties of basic concepts in category theory, such as universal properties, (co)limits, Kan ...
openaire +2 more sources
Combining PTEN protein assessment and transcriptomic profiling of prostate tumors, we uncovered a network enriched in senescence and extracellular matrix (ECM) programs associated with PTEN loss and conserved in a mouse model. We show that PTEN‐deficient cells trigger paracrine remodeling of the surrounding stroma and this information could help ...
Ivana Rondon‐Lorefice +16 more
wiley +1 more source
An Order-Theoretic Quantification of Contextuality
In this essay, I develop order-theoretic notions of determinism and contextuality on domains and topoi. In the process, I develop a method for quantifying contextuality and show that the order-theoretic sense of contextuality is analogous to the sense ...
Ian T. Durham
doaj +1 more source
Type theories in category theory
We introduce basic notions in category theory to type theorists, including comprehension categories, categories with attributes, contextual categories, type categories, and categories with families along with additional discussions that are not very closely related to type theories by listing definitions, lemmata (with detailed, diagram-rich proofs ...
openaire +2 more sources
The LINC01116 long noncoding RNA is induced by hypoxia and associated with poor prognosis and high recurrence rates in two cohorts of lung adenocarcinoma patients. Here, we demonstrate that besides its expression in cancer cells, LINC01116 is markedly expressed in lymphatic endothelial cells of the tumor stroma in which it participates in hypoxia ...
Marine Gautier‐Isola +12 more
wiley +1 more source
“Is logic a physical variable?” Introduction to the Special Issue
“Is logic a physical variable?” This thought-provoking question was put forward by Michael Heller during the public lecture “Category Theory and Mathematical Structures of the Universe” delivered on 30th March 2017 at the National Quantum Information ...
Michał Eckstein, Bartłomiej Skowron
doaj
Ring completion of rig categories
We offer a solution to the long-standing problem of group completing within the context of rig categories (also known as bimonoidal categories). Given a rig category R we construct a natural additive group completion R' that retains the multiplicative ...
Baas, Nils A. +3 more
core +1 more source
Pharmacologic ascorbate (vitamin C) increases ROS, disrupts cellular metabolism, and induces DNA damage in CRPC cells. These effects sensitize tumors to PARP inhibition, producing synergistic growth suppression with olaparib in vitro and significantly delayed tumor progression in vivo. Pyruvate rescue confirms ROS‐dependent activity.
Nicolas Gordon +13 more
wiley +1 more source

