ATOMS AND MONADS, THEIR METAPHYSICAL DEVELOPMENT
نویسندگان
چکیده
منابع مشابه
Modules Over Monads and Their Algebras
Modules over monads (or: actions of monads on endofunctors) are structures in which a monad interacts with an endofunctor, composed either on the left or on the right. Although usually not explicitly identified as such, modules appear in many contexts in programming and semantics. In this paper, we investigate the elementary theory of modules. In particular, we identify the monad freely generat...
متن کاملMonads with arities and their associated theories
After a review of the concept of ‘‘monad with arities’’ we show that the category of algebras for such a monad has a canonical dense generator. This is used to extend the correspondence between finitary monads on sets and Lawvere’s algebraic theories to a general correspondence between monads and theories for a given category with arities. As an application we determine arities for the free gro...
متن کاملLie Atoms and Their Deformations
A Lie atom is essentially a pair of Lie algebras and its deformation theory is that of a deformation with respect to the first algebra, endowed with a trivialization with respect to the second. Such deformations occur commonly in Algebraic Geometry, for instance as deformations of subvarieties of a fixed ambient variety. Here we study some basic notions related to Lie atoms, focussing especiall...
متن کاملCorecursive Algebras, Corecursive Monads and Bloom Monads
An algebra is called corecursive if from every coalgebra a unique coalgebra-toalgebra homomorphism exists into it. We prove that free corecursive algebras are obtained as coproducts of the terminal coalgebra (considered as an algebra) and free algebras. The monad of free corecursive algebras is proved to be the free corecursive monad, where the concept of corecursive monad is a generalization o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science
سال: 1881
ISSN: 0036-8075,1095-9203
DOI: 10.1126/science.os-2.42.161