Search results
Title Bohr compactifications of algebras and structures Author info B. A. Davey, M. Haviar, H. A. Priestley Author Davey Brian A. (34%)
Co-authors Haviar Miroslav 1965- (33%) UMBFP10 - Katedra matematiky
Priestley Hilary A. (33%)
Source document Applied Categorical Structures. Vol. 25, no. 3 (2017), pp. 403-430. - Dordrecht : Springer, 2017 Person keywords Bohr Niels dánsky fyzik 1885-1962 Keywords natural duality natural extension distributive lattices Stone-Čechova kompaktifikácia - Stone-Čech compactification Language English Country Netherlands systematics 51 Annotation This paper provides a unifying framework for a range of categorical constructions characterised by universal mapping properties, within the realm of compactifications of discrete structures. Some classic examples fit within this broad picture: the Bohr compactification of an abelian group via Pontryagin duality, the zero-dimensional Bohr compactification of a semilattice, and the Nachbin order-compactification of an ordered set. The notion of a natural extension functor is extended to suitable categories of structures and such a functor is shown to yield a reflection into an associated category of topological structures. Our principal results address reconciliation of the natural extension with the Bohr compactification or its zero-dimensional variant. In certain cases the natural extension functor and a Bohr compactification functor are the same; in others the functors have different codomains but may agree on all objects. Coincidence in the stronger sense occurs in the zero-dimensional setting precisely when the domain is a category of structures whose associated topological prevariety is standard. It occurs, in the weaker sense only, for the class of ordered sets and, as we show, also for infinitely many classes of ordered structures. Coincidence results aid understanding of Bohr-type compactifications, which are defined abstractly. Ideas from natural duality theory lead to an explicit description of the natural extension which is particularly amenable for any prevariety of algebras with a finite, dualisable, generator. Examples of such classes-often varieties-are plentiful and varied, and in many cases the associated topological prevariety is standard. Public work category ADM No. of Archival Copy 39736 Database xpca - PUBLIKAČNÁ ČINNOSŤ References PERIODIKÁ-Súborný záznam periodika Title Applied Categorical Structures Issue data Dordrecht : Springer , 2017 ISSN 0927-28521572-9095 Form. Descr. časopisy - journals Year, No. Vol. 25 no. 3 (2017) Language English Country Netherlands URL Link na zdrojový dokument Public work category GII Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ References - PERIODIKÁ - Súborný záznam periodika (1) - PUBLIKAČNÁ ČINNOSŤ References PERIODIKÁ-Súborný záznam periodika ARTICLES 2017: Bohr compactifications of algebras and structures Title Applied Categorical Structures Issue data Dordrecht : Springer , 2013 ISSN 0927-28521572-9095 Form. Descr. časopisy - journals Year, No. Vol. 21 no. 6 (2013) Language English Country Netherlands URL Link na zdrojový dokument Public work category GII Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ References - PERIODIKÁ - Súborný záznam periodika (1) - PUBLIKAČNÁ ČINNOSŤ References PERIODIKÁ-Súborný záznam periodika ARTICLES 2013: A fresh perspective on canonical extensions for bounded lattices Title A fresh perspective on canonical extensions for bounded lattices Par.title Nová perspektíva ohľadne kanonických rozšírení ohraničených zväzov Author info A. P. K. Craig, M. Haviar, H. A. Priestley Author Craig Andrew, P. K. (34%)
Co-authors Haviar Miroslav 1965- (33%) UMBFP10 - Katedra matematiky
Priestley Hilary A. (33%)
Source document Applied Categorical Structures. Vol. 21, no. 6 (2013), pp. 725-749. - Dordrecht : Springer, 2013 Keywords kanonické rozšírenia prirodzená dualita topologická reprezentácia canonical extension natural duality topological representation Language English Country Netherlands systematics 544.022 Annotation 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) Public work category ADM No. of Archival Copy 27747 Repercussion category HARTONAS, Chrysafis. Order-dual relational semantics for non-distributive propositional logics : a general framework. In Journal of philosophical logic. ISSN 0022-3611, 2018, vol. 47, no. 1, pp. 67-94.
HARTONAS, Chrysafis. Order-dual relational semantics for non-distributive propositional logics. In Logic journal of the IGPL. ISSN 1367-0751, 2017, vol. 25, no. 2, pp. 145-182.
Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ References PERIODIKÁ-Súborný záznam periodika Title Applied Categorical Structures Issue data Dordrecht : Springer , 2012 ISSN 0927-28521572-9095 Form. Descr. časopisy - journals Year, No. Vol. 20 no. 6 (2012) Language English Country Netherlands URL Link na zdrojový dokument Public work category GII Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ References - PERIODIKÁ - Súborný záznam periodika (1) - PUBLIKAČNÁ ČINNOSŤ References PERIODIKÁ-Súborný záznam periodika ARTICLES 2012: Natural dualities in partnership Title Natural dualities in partnership Author info Brian A. Davey, Miroslav Haviar, Hilary A. Priestley Author Davey Brian A. (34%)
Co-authors Haviar Miroslav 1965- (33%) UMBFP10 - Katedra matematiky
Priestley Hilary A. (33%)
Source document Applied Categorical Structures. Vol. 20, no. 6 (2012), pp. 583-602. - Dordrecht : Springer, 2012 Keywords prirodzená dualita prirodzené rozšírenie kanonické rozšírenia natural duality natural extension canonical extension Language English Country Netherlands systematics 512 Public work category ADE No. of Archival Copy 23307 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ References PERIODIKÁ-Súborný záznam periodika Title Applied Categorical Structures Issue data Dordrecht : Springer , 2007 ISSN 0927-28521572-9095 Form. Descr. časopisy - journals Year, No. Vol. 15 no. 3 (2007) Language English Country Netherlands URL Link na zdrojový dokument Public work category GII Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ References - PERIODIKÁ - Súborný záznam periodika (1) - PUBLIKAČNÁ ČINNOSŤ References PERIODIKÁ-Súborný záznam periodika ARTICLES 2007: Boolean topological distributive lattices and canonical extensions Title Boolean topological distributive lattices and canonical extensions Author info B. A. Davey, Miroslav Haviar, H. A. Priestley Author Davey Brian A. (34%)
Co-authors Haviar Miroslav 1965- (33%) UMBUV01 - Ústav vedy a výskumu
Priestley Hilary A. (33%)
Source document Applied Categorical Structures. Vol. 15, no. 3 (2007), pp. 225-241. - Dordrecht : Springer, 2007 Keywords topologický zväz Priestleyovská dualita kanonické rozšírenia prokonečné rozšírenie topological lattice Priestley duality canonical extension profinite completion Language English Country Netherlands systematics 515.1 Public work category ADE No. of Archival Copy 6651 Repercussion category JOHANSEN, Sarah M. Natural dualities for three classes of relational structures. In Algebra Universalis. ISSN 0002-5240, 2010, vol. 63, no. 2-3, pp. 149-170.
VOSMAER, Jacob. Logic, algebra and topology : investigations into canonical extensions, duality theory and point-free topology. Amsterdam : Institute for Logic, Language and Computation, 2010. 255 s. ISBN 978-90-5776-214-7.
RICE, Brian. Intervals of the Muchnik lattice. In Fundamenta mathematicae. ISSN 0016-2736, 2018, vol. 241, no. 2, pp. 109-126.
Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ References PERIODIKÁ-Súborný záznam periodika