Cartesian closedness in categories of partial algebras.
Šlapal, Josef (1996)
Mathematica Pannonica
Similarity:
Displaying similar documents to “A note on categories of partial algebras”
Cartesian closedness in categories of partial algebras.
A category theoretical background for homomorphism theorems
Peter Burmeister, Bolesław Wojdyło (1989)
Colloquium Mathematicae
Similarity:
A new proof of Reiterman's theorem
Grzegorz Jarzembski (1994)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
A representation of the category of algebras over different monads by the category of algebras over one suitable monad in a category of pointed monads
Józef Słomiński (1980)
Colloquium Mathematicae
Similarity:
HSP subcategories of Eilenberg-Moore algebras.
Barr, Michael (2002)
Theory and Applications of Categories [electronic only]
Similarity:
Essentially equational categories
J. Adámek, H. Herrlich, J. Rosický (1988)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Adjointness between theories and strict theories
Hans-Jürgen Vogel (2003)
Discussiones Mathematicae - General Algebra and Applications
Similarity:
The categorical concept of a theory for algebras of a given type was foundet by Lawvere in 1963 (see [8]). Hoehnke extended this concept to partial heterogenous algebras in 1976 (see [5]). A partial theory is a dhts-category such that the object class forms a free algebra of type (2,0,0) freely generated by a nonempty set J in the variety determined by the identities ox ≈ o and xo ≈ o, where o and i are the elements selected by the 0-ary operation symbols. If the object class of a dhts-category...
On the corresponding to bialgebras
Teimuraz Pirashvili (2002)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Algebraic theories and varieties of functor algebras
Jan Reiterman (1983)
Fundamenta Mathematicae
Similarity: