Results 41 to 50 of about 6,632,351 (302)
Synthetic fibered $(\infty,1)$-category theory
, 2023 summary:We study cocartesian fibrations in the setting of the synthetic $(\infty,1)$-category theory developed in simplicial type theory introduced by Riehl and Shulman.
Weinberger, Jonathan, Buchholtz, Ulrik
core +1 more source
A Category Theory of Communication Theory
CoRR, 2015 A theory of how agents can come to understand a language is presented. If understanding a sentence $α$ is to associate an operator with $α$ that transforms the representational state of the agent as intended by the sender, then coming to know a language involves coming to know the operators that correspond to the meaning of any sentence.
openaire +3 more sources
Solid Pseudopapillary Neoplasm of the Pancreas in Children and Adolescents: Expert Recommendations
Pediatric Blood &Cancer, EarlyView.ABSTRACT Solid pseudopapillary neoplasm of the pancreas (SPN) is a rare low‐grade malignant exocrine pancreatic tumor, mostly discovered during the second decade of life in females, with a very good prognosis, provided microscopically complete surgical excision is achieved.
Sabine Irtan +18 more
wiley +1 more source
, 2021 Pretorsion theories∗ The notion of pretorsion theory is a wide extension of the classical notion of torsion theory in an abelian category. The idea is to associate, with any pair (T, F) of full replete subcategories of a category C, a corresponding ...
Category Theory 2020-21, Gran, Marino
core
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Loneliness is associated with adverse physical and mental health outcomes and remains understudied in children and adolescents undergoing cancer therapy. Pediatric oncology patients may be at increased risk due to medical isolation and disruption of social networks.
Charlotte N. Stahlfeld +5 more
wiley +1 more source
Homotopy theory with *-categories
Theory and Applications of Categories, 2019 We construct model category structures on various types of (marked) *-categories. These structures are used to present the infinity categories of (marked) *-categories obtained by inverting (marked) unitary equivalences. We use this presentation to explicitly calculate the \infty-categorical G-fixed points and G-orbits for G-equivariant (marked ...
openaire +2 more sources
Towards a Convenient Category of Topological Domains [PDF]
, 2003 topological spaces, generalising the usual ω-continuous dcppos of domain theory. Our category supports all the standard constructions of domain theory, including the solution of recursive domain equations.
Simpson, Alex, Alex Simpson
core
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Children with sickle cell anemia (SCA) in low‐income settings are at risk of severe malnutrition, but optimal nutritional management has not been established. We evaluated an intensified ready‐to‐use therapeutic food (RUTF) regimen in children with persistent severe malnutrition after initial treatment and assessed whether early ...
Safiya Gambo +9 more
wiley +1 more source
A category theory approach to completion-based theorem proving strategies (Abstract) [PDF]
, 1991 In this paper we apply category theory to formalize the basic concepts of automated theorem proving. A theorem proving strategy is given by a set of inference rules and a search plan.
Jieh Hsiang, BONACINA, Maria Paola
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Survivors of pediatric brain tumors (PBTs) can experience long‐term social difficulties, impacting quality of life. Beyond medical and environmental factors, family psychosocial risk may play a role in social outcomes by shaping the caregiving environment and may provide intervention options.
Renske H. Houben +4 more
wiley +1 more source