Limit preserving full embeddings.
Trnková, V, Sichler, J. (2008)
Theory and Applications of Categories [electronic only]
Similarity:
Displaying similar documents to “Products of multialgebras and their fundamental algebras.”
Limit preserving full embeddings.
Lectures on cylindric set algebras
J. Monk (1993)
Banach Center Publications
Similarity:
Eight-dimensional real quadratic division algebras.
Dieterich, Ernst (2000)
AMA. Algebra Montpellier Announcements [electronic only]
Similarity:
Monad compositions. I: General constructions and recursive distributive laws.
Manes, Ernie, Mulry, Philip (2007)
Theory and Applications of Categories [electronic only]
Similarity:
Computational details-appendix to the article “Cartan matrices of selfinjective algebras of tubular type”
Jerzy Białkowski (2004)
Open Mathematics
Similarity:
Categorical properties of iterated power.
Radul, Taras (2001)
Revista Colombiana de Matemáticas
Similarity:
Implicit operations on the categories of universal algebras.
Pinus, A.G. (2009)
Sibirskij Matematicheskij Zhurnal
Similarity:
Inner Products, Group, Ring of Quaternion Numbers
Fuguo Ge (2008)
Formalized Mathematics
Similarity:
In this article, we define the division of the quaternion numbers, we also give the definition of inner products, group, ring of the quaternion numbers, and we prove some of their properties.MML identifier: QUATERN2, version: 7.8.10 4.100.1011
Semantics of MML Query
Grzegorz Bancerek (2012)
Formalized Mathematics
Similarity:
In the paper the semantics of MML Query queries is given. The formalization is done according to [4]
On algebras of relations
D. Bredikhin (1993)
Banach Center Publications
Similarity:
A categorical concept of completion of objects
Guillaume C. L. Brümmer, Eraldo Giuli (1992)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
We introduce the concept of firm classes of morphisms as basis for the axiomatic study of completions of objects in arbitrary categories. Results on objects injective with respect to given morphism classes are included. In a finitely well-complete category, firm classes are precisely the coessential first factors of morphism factorization structures.