Craig, Andrew, P. K. A fresh perspective on canonical extensions for bounded lattices = Nová perspektíva ohľadne kanonických rozšírení ohraničených zväzov / A. P. K. Craig, M. Haviar, H. A. Priestley. -- Kanonické rozšírenia algebier majú pôvod v klasických prácach B. Jónssona a A. Tarského (1951-52) o Booleových algebrách s operátormi. Z pohľadu logiky je význam kanonických rozšírení v tom, že pre mnohé logiky hrajú fundamentálnu úlohu vo vetách o úplnosti – kanonicita (znamenajúca, že algebraické identity sú zachované pri konštrukcii kanonických rozšírení) algebraických modelov logík korešponduje s úplnosťou logík. Prezentovaná je nová konštrukcia kanonických rozšírení ohraničených zväzov, ktorá je v duchu teórie prirodzených dualít. Na úrovni objektov je kanonické rozšírenie zväzu získané podobne ako v distributívnom prípade, kde sa používa Priestleyovej reprezentácia (1970). V nedistributívnom prípade je využitá topologická reprezentácia zväzov od Miroslava Ploščicu (1995), ktorá je prezentáciou klasickej Urquhartovej reprezentácie zväzov (1978) v duchu prirodzených dualít. Na úrovni morfizmov je využitá dualita Allweina a Hartonasa (1993)

In Applied Categorical Structures. -- Dordrecht : Springer, 2013. -- ISSN 0927-2852. -- ISSN 1572-9095. -- Vol. 21, no. 6 (2013), pp. 725-749

1. kanonické rozšírenia 2. prirodzená dualita 3. topologická reprezentácia 4. canonical extension 5. natural duality 6. topological representation

I. Haviar, Miroslav, 1965-
II. Priestley, Hilary A.
III. Applied Categorical Structures. -- Vol. 21, no. 6 (2013), pp. 725-749

544.022
BB301