Results 31 to 40 of about 9,368,793 (360)

Introduction to gestural similarity in music. An application of category theory to the orchestra [PDF]

open access: yes, 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

open access: yesPhilosophia 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

String diagrams for Strictification and Coherence [PDF]

open access: yesLogical Methods in Computer Science
Whereas 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

Category theory and organic electronics

open access: yesPhysics Open, 2023
Inorganic semiconductors and conducting polymers are described by band conduction models with delocalized electrons, whereas small-molecule organic compounds are described by hopping conduction between localized molecular orbitals.
Jun-ichi Takahashi
doaj  

Algebraic Presentations of Type Dependency [PDF]

open access: yesLogical Methods in Computer Science
C-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

A Grammar of the Distinctive Competence Development at the Firm for the Solution of Systemic Problems

open access: yesJournal 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

A uniqueness theorem for stable homotopy theory [PDF]

open access: yes, 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

Infinity category theory from scratch [PDF]

open access: yesHigher 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

Rational homotopy theory and differential graded category [PDF]

open access: yes, 2009
We propose a generalization of Sullivan's de Rham homotopy theory to non-simply connected spaces. The formulation is such that the real homotopy type of a manifold should be the closed tensor dg-category of flat bundles on it much the same as the real ...
Moriya, Syunji
core   +2 more sources

A logic for category theory

open access: yesTheoretical Computer Science, 1993
AbstractMacLane and Feferman have argued that the traditional set theories of Zermelo—Fraenkel and Gödel—Bernays are not suitable foundations for category theory because of the requirement for self-referencing abstractions. The necessity for distinguishing between small and large categories reflects this unsuitability.
Paul C. Gilmore, George K. Tsiknis
openaire   +2 more sources

Home - About - Disclaimer - Privacy