Results 21 to 30 of about 2,348,941 (273)
String diagrams for Strictification and Coherence [PDF]
Logical Methods in Computer ScienceWhereas string diagrams for strict monoidal categories are well understood, and have found application in several fields of Computer Science, graphical formalisms for non-strict monoidal categories are far less studied.
Paul Wilson, Dan Ghica, Fabio Zanasi
doaj +1 more source
Journal of Innovation Management, 2020 Competitiveness results from factors beyond the structural conditions and organizational boundaries, such as interorganizational cooperation. Evidence gathered in Brazilian credit unions suggests there is a social process in the firm for generating ...
Bruno da Rocha Braga
doaj +1 more source
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
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
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
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
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
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
Category theory : definitions and examples [PDF]
, 1990 Category theory was invented as an abstract language for describing certain structures and constructions which repeatedly occur in many branches of mathematics, such as topology, algebra, and logic.
Srinivas, Yellamraju V.
core