scientific article; zbMATH DE number 2174737

zbMath1068.18004MaRDI QIDQ4682103

J. Soliveres Tur, Juan Climent Vidal

Publication date: 9 June 2005

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

monadKleisli categoryBirkhoff's completeness theorem of equational logic

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Equational logic, Mal'tsev conditions (08B05) Equational classes, universal algebra in model theory (03C05) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Eilenberg-Moore and Kleisli constructions for monads (18C20) Heterogeneous algebras (08A68)

Related Items (4)

Birkhoff-Frink representations as functors ⋮ Term Equational Systems and Logics ⋮ Freeoids: a semi-abstract view on endomorphism monoids of relatively free algebras ⋮ A 2-categorial generalization of the concept of institution

This page was built for publication: