Zobrazeno 1 - 10
of 4 064
pro vyhledávání: '"Algebraic Theories"'
Algebraic theories, introduced as a concept in the 1960s, have been a fundamental step towards a categorical view of general algebra. Moreover, they have proved very useful in various areas of mathematics and computer science. This carefully develope
Categories and categorical structures are increasingly recognized as useful abstractions for modeling in science and engineering. To uniformly implement category-theoretic mathematical models in software, we introduce GATlab, a domain-specific langua
Externí odkaz:
http://arxiv.org/abs/2404.04837
Notions of computation can be modelled by monads. Algebraic effects offer a characterization of monads in terms of algebraic operations and equational axioms, where operations are basic programming features, such as reading or updating the state, and
Externí odkaz:
http://arxiv.org/abs/2402.03103
Autor:
Leonard Dickson
This in-depth introduction to classical topics in higher algebra provides rigorous, detailed proofs for its explorations of some of mathematics'most significant concepts, including matrices, invariants, and groups. Algebraic Theories studies all of t
Autor:
Bár, Filip
Categories of models of algebraic theories have good categorical properties except for gluing. Building upon insights and examples from Synthetic Differential Geometry, we introduce a generalisation of models of algebraic theories to infinitesimal mo
Externí odkaz:
http://arxiv.org/abs/2305.01357
Autor:
Kawase, Yuto
An algebraic theory, sometimes called an equational theory, is a theory defined by finitary operations and equations, such as the theories of groups and of rings. It is well known that algebraic theories are equivalent to finitary monads on $\mathbf{
Externí odkaz:
http://arxiv.org/abs/2304.04382