Displaying 741 – 760 of 975

Showing per page

Super-De Morgan functions and free De Morgan quasilattices

Yuri Movsisyan, Vahagn Aslanyan (2014)

Open Mathematics

A De Morgan quasilattice is an algebra satisfying hyperidentities of the variety of De Morgan algebras (lattices). In this paper we give a functional representation of the free n-generated De Morgan quasilattice with two binary and one unary operations. Namely, we define the concept of super-De Morgan function and prove that the free De Morgan quasilattice with two binary and one unary operations on nfree generators is isomorphic to the De Morgan quasilattice of super-De Morgan functions of nvariables....

Sur une opérade ternaire liée aux treillis de Tamari

Frédéric Chapoton (2011)

Annales de la faculté des sciences de Toulouse Mathématiques

On introduit une opérade anticyclique V définie par une présentation ternaire quadratique. On montre qu’elle admet une base indexée par les arbres binaires planaires. On relie cette construction à la famille des treillis de Tamari ( Y n ) n 0 en construisant un isomorphisme entre V ( 2 n + 1 ) et le groupe de Grothendieck de la catégorie mod Y n qui envoie la base de V ( 2 n + 1 ) sur les classes des modules projectifs et qui transforme la structure anticyclique de V en la transformation de Coxeter de la catégorie dérivée de mod Y n . La dualité...

The category of compactifications and its coreflections

Anthony W. Hager, Brian Wynne (2022)

Commentationes Mathematicae Universitatis Carolinae

We define “the category of compactifications”, which is denoted CM, and consider its family of coreflections, denoted corCM. We show that corCM is a complete lattice with bottom the identity and top an interpretation of the Čech–Stone β . A c corCM implies the assignment to each locally compact, noncompact Y a compactification minimum for membership in the “object-range” of c . We describe the minimum proper compactifications of locally compact, noncompact spaces, show that these generate the atoms...

Currently displaying 741 – 760 of 975