Results 11 to 20 of about 2,348,941 (273)
Conflict Resolution in Mechatronic Collaborative Design Using Category Theory
Applied Sciences, 2021 Due to the multitude of disciplines involved in mechatronic design, heterogeneous languages and expert models are used to describe the system from different domain-specific views. Despite their heterogeneity, these models are highly interrelated.
Mouna Fradi +4 more
doaj +1 more source
Dualizability in Low-Dimensional Higher Category Theory [PDF]
, 2013 These lecture notes form an expanded account of a course given at the Summer School on Topology and Field Theories held at the Center for Mathematics at the University of Notre Dame, Indiana during the Summer of 2012.
Schommer-Pries, Christopher
core +2 more sources
Rewriting techniques for relative coherence [PDF]
Logical Methods in Computer ScienceA series of works has established rewriting as an essential tool in order to prove coherence properties of algebraic structures, such as MacLane's coherence theorem for monoidal categories, based on the observation that, under reasonable assumptions ...
Samuel Mimram
doaj +1 more source
Category Theory in Coq 8.5 [PDF]
, 2015 We report on our experience implementing category theory in Coq 8.5. The repository of this development can be found at https://bitbucket.org/amintimany/categories/.
Jacobs, Bart, Timany, Amin
core +2 more sources
A uniqueness theorem for stable homotopy theory [PDF]
, 1999 In this paper we study the global structure of the stable homotopy theory of spectra. We establish criteria for when the homotopy theory associated to a given stable model category agrees with the classical stable homotopy theory of spectra.
Schwede, Stefan, Shipley, Brooke
core +3 more sources
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
, 2021 [en] The main goal of this project is the investigation of the mathematical structures called categories, looking at their most important features and applications. It will also be see the concept of functors, how they make sense when working with categories and two of the most relevant type of functors, representable and adjoint functors.
+5 more sources
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
On the Axiomatic Systems of Steenrod Homology Theory of Compact Spaces [PDF]
, 2017 On the category of compact metric spaces an exact homology theory was defined and its relation to the Vietoris homology theory was studied by N. Steenrod [S].
Beridze, Anzor, Mdzinarishvili, Leonard
core +3 more sources