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: