A characterization of varieties of inverse semigroups.
Page 1 Next
M.I. Klun (1975)
Semigroup forum
Jiří Adámek, Václav Koubek, Jiří Velebil (2000)
Commentationes Mathematicae Universitatis Carolinae
A duality between -ary varieties and -ary algebraic theories is proved as a direct generalization of the finitary case studied by the first author, F.W. Lawvere and J. Rosick’y. We also prove that for every uncountable cardinal , whenever -small products commute with -colimits in , then must be a -filtered category. We nevertheless introduce the concept of -sifted colimits so that morphisms between -ary varieties (defined to be -ary, regular right adjoints) are precisely the functors...
Jarmila Fauknerová (1981)
Commentationes Mathematicae Universitatis Carolinae
Stanley Burris (1971)
Colloquium Mathematicae
John T. Baldwin (1973)
Colloquium Mathematicae
William H. Cornish (1981)
Commentationes Mathematicae Universitatis Carolinae
Ivan Chajda, Radomír Halaš, Alexander G. Pinus (1999)
Czechoslovak Mathematical Journal
Ivan Chajda, Bedřich Pondělíček (1989)
Czechoslovak Mathematical Journal
Hector Freytes (2004)
Czechoslovak Mathematical Journal
The Cantor-Bernstein-Schröder theorem of the set theory was generalized by Sikorski and Tarski to -complete boolean algebras, and recently by several authors to other algebraic structures. In this paper we expose an abstract version which is applicable to algebras with an underlying lattice structure and such that the central elements of this lattice determine a direct decomposition of the algebra. Necessary and sufficient conditions for the validity of the Cantor-Bernstein-Schröder theorem for...
Jaromír Duda (1995)
Commentationes Mathematicae Universitatis Carolinae
Reinhard Pöschel, Walter Wessel (1987)
Commentationes Mathematicae Universitatis Carolinae
Roberto Magari (1973)
Annali della Scuola Normale Superiore di Pisa - Classe di Scienze
Jerzy Płonka (1997)
Mathematica Slovaca
Milton Braitt, David Hobby, Donald Silberger (2012)
Mathematica Bohemica
In a groupoid, consider arbitrarily parenthesized expressions on the variables where each appears once and all variables appear in order of their indices. We call these expressions -ary formal products, and denote the set containing all of them by . If are distinct, the statement that and are equal for all values of is a generalized associative law. Among other results, we show that many small groupoids are completely dissociative, meaning that no generalized associative law holds...
W. Bartol, D. Niwiński, L. Rudak (1985)
Colloquium Mathematicae
Denecke, Klaus, Wismath, Shelly L. (2003)
International Journal of Mathematics and Mathematical Sciences
Klaus Keimel (1973/1974)
Séminaire Dubreil. Algèbre et théorie des nombres
Hilda Draškovičová (1977)
Mathematica Slovaca
Radomír Halaš (1996)
Mathematica Bohemica
In [1] ideals and congruences on semiloops were investigated. The aim of this paper is to generalize results obtained for semiloops to the case of left divisible involutory groupoids.
Abraham S.-T. Lue (1973)
Commentarii mathematici Helvetici
Page 1 Next