منابع مشابه
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...
متن کاملBinary Liquids under Absolute Negative Pressure
We would like to give a brief review concerning liquid-liquid equilibrium in binary liquid mixtures under absolute negative pressure. Although negative pressure states are metastable ones, they can be maintained long enough to make phase equilibrium measurements. Several phenomena concerning liquid-liquid equilibrium can be seen only – or can be seen better – under negative pressure; these are ...
متن کاملGeometric Algebras and Extensors
This is the first paper in a series (of four) designed to show how to use geometric algebras of multivectors and extensors to a novel presentation of some topics of differential geometry which are important for a deeper understanding of geometrical theories of the gravitational field. In this first paper we introduce the key algebraic tools for the development of our program, namely the euclide...
متن کاملM ay 2 00 4 UNIVERSAL ABSOLUTE EXTENSORS IN EXTENSION THEORY
Let L be a countable and locally finite CW complex. Suppose that the class of all metrizable compacta of extension dimension ≤ [L] contains a universal element which is an absolute extensor in dimension [L]. Our main result shows that L is quasifinite.
متن کاملAzumaya Monads and Comonads
The definition of Azumaya algebras over commutative rings R requires the tensor product of modules over R and the twist map for the tensor product of any two R-modules. Similar constructions are available in braided monoidal categories, and Azumaya algebras were defined in these settings. Here, we introduce Azumaya monads on any category A by considering a monad (F,m, e) on A endowed with a dis...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Applied Categorical Structures
سال: 2016
ISSN: 0927-2852,1572-9095
DOI: 10.1007/s10485-016-9433-3