Results 31 to 40 of about 6,632,351 (302)
Two Constructivist Aspects of Category Theory
Philosophia Scientiæ, 2006 Category theory has two unexpected links to constructivism: First, why is topos logic so close to intuitionistic logic? The paper argues that in part the resemblance is superficial, in part it is due to selective attention, and in part topos theory is ...
Colin McLarty
doaj +1 more source
Self-move and Other-move: Quantum Categorical Foundations of Japanese [PDF]
Journal of Interdisciplinary Sciences, 2023 This work contributes toward the larger goal of creating a Quantum Natural Language Processing (QNLP) translation program. It contributes original diagrammatic representations of the Japanese language based on previous work on the English language ...
Ryder Dale Walton
doaj
CLASSIFICATION THEORY FOR ACCESSIBLE CATEGORIES [PDF]
The Journal of Symbolic Logic, 2016 AbstractWe show that a number of results on abstract elementary classes (AECs) hold in accessible categories with concrete directed colimits. In particular, we prove a generalization of a recent result of Boney on tameness under a large cardinal assumption.
Michael J. Lieberman, Jirí Rosický
openaire +4 more sources
The technique of modeling Cyberphysical systems using Coalgebra
Вісник Харківського національного університету імені В.Н. Каразіна. Серія: Математичне моделювання, інформаційні технології, автоматизовані системи управління, 2023 Relevance. Presently, we observe a rapid pace of development in information technologies, the implementation of which results in a broad percentage of automation in manufacturing processes.
Артем Панченко +1 more
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 ...
Fisher, Joe W., Wolff, Harvey
openaire +1 more source
Algebraic Presentations of Type Dependency [PDF]
Logical Methods in Computer ScienceC-systems were defined by Cartmell as the algebraic structures that correspond exactly to generalised algebraic theories. B-systems were defined by Voevodsky in his quest to formulate and prove an initiality conjecture for type theories.
Benedikt Ahrens +3 more
doaj +1 more source
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
Infinity category theory from scratch [PDF]
, 2020 A quasi-category X is a simplicial set satisfying the restricted Kan conditions of Boardman and Vogt. It has an associated homotopy category hoX. We show that X is a Kan complex iff hoX is a groupoid.
Verity, Dominic, Riehl, Emily
core +1 more source
Theoretical Computer Science, 1993 The foundations of category theory are considered. Following the example of Tarski's reductionism for first order logic, the authors have built a logical system and a set theory which they call NaDSet (NaD from Natural Deduction). Subtle use of controlled self-reference and other subtle technical means allows them to avoid artificial distinction ...
Paul C. Gilmore, George K. Tsiknis
openaire +1 more source