Results 21 to 30 of about 2,362,169 (271)
Category theory and set theory as theories about complementary types of universals [PDF]
, 2016 Instead of the half-century old foundational feud between set theory and category theory, this paper argues that they are theories about two different complementary types of universals.
Ellerman, David P.
core +3 more sources
EPiC Series in Computing, 2020 In mathematical applications, category theory remains a contentious issue, with enthusiastic fans and a skepticalmajority. In a muted form this split applies to the authors ofthis note. When we learned that the only mathematically soundfoundation of topological quantum computing in the literature isbased on category theory, the skeptical author ...
Blass, Andreas, Gurevich, Yuri
openaire +3 more sources
Experience Implementing a Performant Category-Theory Library in Coq [PDF]
, 2014 We describe our experience implementing a broad category-theory library in Coq. Category theory and computational performance are not usually mentioned in the same breath, but we have needed substantial engineering effort to teach Coq to cope with large ...
A. Miquel +4 more
core +5 more sources
Representing 3/2-Institutions as Stratified Institutions
Mathematics, 2022 On the one hand, the extension of ordinary institution theory, known as the theory of stratified institutions, is a general axiomatic approach to model theories where the satisfaction is parameterized by states of the models.
Răzvan Diaconescu
doaj +1 more source
Decomposition theories for abelian categories [PDF]
Transactions of the American Mathematical Society, 1973 Both the classical approach to decomposition theories and Fisher’s technique of constructing decomposition theories from radical functions are extended to and exploited in the context of abelian categories. These two different approaches to decomposition theories for abelian categories intertwine in one theorem from which flows necessary and sufficient
Fisher, Joe W., Wolff, Harvey
openaire +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
On Self-Predicative Universals in Category Theory
, 2015 1. This paper shows how the universals of category theory in mathematics provide a model (in the Platonic Heaven of mathematics) for the self-predicative strand of Plato's Theory of Forms as well as for the idea of a "concrete universal" in Hegel and ...
Ellerman, David
core +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
Rigidification of algebras over multi-sorted theories
, 2009 We define the notion of a multi-sorted algebraic theory, which is a generalization of an algebraic theory in which the objects are of different "sorts." We prove a rigidification result for simplicial algebras over these theories, showing that there is a
Adámek +13 more
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Purpose Retinoblastoma (RB) is the most common pediatric ocular cancer, yet population‐based data on survival and risk factors remain limited. This study aimed to describe survival in a large national RB cohort and identify predictors of death and complications.
Samuel Sassine +14 more
wiley +1 more source