Results 21 to 30 of about 50 (50)
Category theory for operational semantics
Theoretical Computer Science, 2004 AbstractWe use the concept of a distributive law of a monad over a copointed endofunctor to define and develop a reformulation and mild generalisation of Turi and Plotkin's notion of an abstract operational rule. We make our abstract definition and give a precise analysis of the relationship between it and Turi and Plotkin's definition.
LENISA, Marina, POWER J., WATANABE H.
openaire +3 more sources
Category Theory and Organic Electronics
SSRN Electronic Journal, 2022 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. However, the latter devices can reproduce fully the characteristics of semiconductor devices.
openaire +2 more sources
Homotopy Theory in Abelian Categories [PDF]
Canadian Journal of Mathematics, 1962 The concept of homotopy for homomorphisms of modules, suggested by analogy with fundamental properties of the topological homotopy, was developed by Eckmann and Hilton (3; 9; 10). In the present paper, this concept of homotopy is generalized to additive categories with an additional structure, and the theory of homotopy, including in particular various
openaire +3 more sources
Interpolation categories for homology theories
Journal of Pure and Applied Algebra, 2007 40 pages, corrected version of second part of the replaced version, first part will appear sepparately as "Truncated resolution model structures", to appear in ...
openaire +3 more sources
ON ‘CATEGORIES’ OF QUANTUM FIELD THEORIES [PDF]
Proceedings of the International Congress of Mathematicians (ICM 2018), 2019 We give a rough description of the 'categories' formed by quantum field theories. A few recent mathematical conjectures derived from quantum field theories, some of which are now proven theorems, will be presented in this language.
openaire +2 more sources
Samuel Alexander’s Theory of Categories [PDF]
The Monist, 2015 The Australian-born British philosopher Samuel Alexander (1859-1938) was one of the first realists of the twentieth century to defend a theory of categories. In Space, Time and Deity (1920) he constructs a realist metaphysics that posits Space-Time as the one monistic entity that encompasses every entity and every feature in reality, including the ...
openaire +4 more sources
Grassmann’s Dialectics and Category Theory [PDF]
, 1996 In several key connections in his foundations of geometrical algebra, Grassmann makes significant use of the dialectical philosophy of 150 years ago. Now, after fifty years of development of category theory as a means for making explicit some nontrivial general arguments in geometry, it is possible to recover some of Grassmann’s insights and to express
openaire +2 more sources
Set theory for category theory
, 2008 Questions of set-theoretic size play an essential role in category theory, especially the distinction between sets and proper classes (or small sets and large sets). There are many different ways to formalize this, and which choice is made can have noticeable effects on what categorical constructions are permissible.
openaire +2 more sources