Results 31 to 40 of about 6,408,999 (296)
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
Parametrized higher category theory [PDF]
, 2022 We develop foundations for the category theory of $\infty$-categories parametrized by a base $\infty$-category. Our main contribution is a theory of indexed homotopy limits and colimits, which specializes to a theory of $G$-colimits for $G$ a finite ...
Shah, Jay
core +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
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
AN ANALYSIS OF SOME ASPECTS OF COMPONENT-BASED PROGRAMMING FOR SELECTING APPROPRIATE CATEGORICAL STRUCTURES AS THEIR MODELS [PDF]
Acta Electrotechnica et Informatica, 2017 Formal methods and formal models are important tools in software engineering. Formal methods provide unambiguous meaning of programs written in some language or constructed from modules. Moreover, they provide the basic mathematical techniques necessary
William STEINGARTNER +3 more
doaj +1 more source
Only up to isomorphism? Category Theory and the Foundations of Mathematics [PDF]
, 2010 Does category theory provide a foundation for mathematics that is autonomous with respect to the orthodox foundation in a set theory such as ZFC? We distinguish three types of autonomy: logical, conceptual, and justificatory.
Pettigrew, Richard, Linnebo, Øystein
core
Pediatric Blood &Cancer, EarlyView.ABSTRACT We assessed the effect of iron overload (IO) on mortality and complications following hematopoietic stem cell transplantation (HSCT) in patients with Diamond–Blackfan anemia syndrome (DBAS) in a systematic review of individual participant data and cohort data from observational studies.
Geoffrey Z. L. Kuppens +6 more
wiley +1 more source
Exploring Heterogeneity with Category and Cluster Analyses for Mixed Data
Stats, 2023 Precision medicine aims to overcome the traditional one-model-fits-the-whole-population approach that is unable to detect heterogeneous disease patterns and make accurate personalized predictions.
Veronica Distefano +2 more
doaj +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
, 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