Products of Boolean Clones up to Minion Homomorphisms

Abstract

This thesis takes known result about the classification of all boolean clones and extends this result into a lattice of all products of boolean clones modulo minion homomorphism. In the first part of the thesis we look what ordering comes solely from the order on boolean clones and in the second part we show that this describes the whole lattice. 1

Tato práce se zabývá známým výsledek z univerzální algebry ohledně klasifikace booleovských klonů modulo minionové homomorfismy. Tento výsledek rozšiřuje do svazu všech součinů booleovských klonů modulo minionové homomorfismy. V první části práce se ukáže svaz, který pochází jen z uspořádání booleovských klonů a v druhé části se ukáže, že je to stejné uspořádání jako to, které pochází z min- ionovských homomorfismů. 1