Results 21 to 30 of about 9,831,323 (353)
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
Parametrized higher category theory [PDF]
Algebraic & Geometric Topology, 2018 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 ...
J. Shah
semanticscholar +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
Introduction to gestural similarity in music. An application of category theory to the orchestra [PDF]
, 2018 Mathematics, and more generally computational sciences, intervene in several aspects of music. Mathematics describes the acoustics of the sounds giving formal tools to physics, and the matter of music itself in terms of compositional structures and ...
Maria Mannone
semanticscholar +1 more source
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
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
, 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
Axioms, 2021 It is well known that Zermelo-Fraenkel Set Theory (ZF), despite its usefulness as a foundational theory for mathematics, has two unwanted features: it cannot be written down explicitly due to its infinitely many axioms, and it has a countable model due ...
Marcoen J. T. F. Cabbolet
doaj +1 more source
Infinity category theory from scratch [PDF]
Higher Structures, 2016 We use the terms "$\infty$-categories" and "$\infty$-functors" to mean the objects and morphisms in an "$\infty$-cosmos." Quasi-categories, Segal categories, complete Segal spaces, naturally marked simplicial sets, iterated complete Segal spaces ...
E. Riehl, Dominic R. Verity
semanticscholar +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