Boolean transformations with unique fixed points
Booleanization
Booleanization of uniform frames
Booleanization of frames or uniform frames, which is not functorial under the basic choice of morphisms, becomes functorial in the categories with weakly open homomorphisms or weakly open uniform homomorphisms. Then, the construction becomes a reflection. In the uniform case, moreover, it also has a left adjoint. In connection with this, certain dual equivalences concerning uniform spaces and uniform frames arise.
Booloïdes
Bound graph polysemy.
Bound quivers of three-separate stratified posets, their Galois coverings and socle projective representations
A class of stratified posets is investigated and their incidence algebras are studied in connection with a class of non-shurian vector space categories. Under some assumptions on we associate with a bound quiver (Q, Ω) in such a way that . We show that the fundamental group of (Q, Ω) is the free group with two free generators if is rib-convex. In this case the universal Galois covering of (Q, Ω) is described. If in addition is three-partite a fundamental domain of this covering is...
Bounded countable atomic compactness of ordered groups
Bounded dually residuated lattice ordered monoids as a generalization of fuzzy structures
Bounded lattices with antitone involutions and properties of MV-algebras
We introduce a bounded lattice L = (L;∧,∨,0,1), where for each p ∈ L there exists an antitone involution on the interval [p,1]. We show that there exists a binary operation · on L such that L is term equivalent to an algebra A(L) = (L;·,0) (the assigned algebra to L) and we characterize A(L) by simple axioms similar to that of Abbott's implication algebra. We define new operations ⊕ and ¬ on A(L) which satisfy some of the axioms of MV-algebra. Finally we show what properties must be satisfied by...
Bounds for on-line selection
Bourbaki's Fixpoint Lemma reconsidered
A constructively valid counterpart to Bourbaki’s Fixpoint Lemma for chain-complete partially ordered sets is presented to obtain a condition for one closure system in a complete lattice to be stable under another closure operator of . This is then used to deal with coproducts and other aspects of frames.
Brouwerian semilattices: The lattice of total subalgebras
Bruhat intervals, polyhedral cones and Kazhdan-Lusztig-Stanley polynomials.
C- and C*-quotients in pointfree topology [Book]
Calcul des idéaux d'un ordonné fini
Calcul des relations inverses
Calcul pratique du treillis de Galois d'une correspondance
Cambrian fans
For a finite Coxeter group and a Coxeter element of ; the -Cambrian fan is a coarsening of the fan defined by the reflecting hyperplanes of . Its maximal cones are naturally indexed by the -sortable elements of . The main result of this paper is that the known bijection cl between -sortable elements and -clusters induces a combinatorial isomorphism of fans. In particular, the -Cambrian fan is combinatorially isomorphic to the normal fan of the generalized associahedron for . The rays...
Cancellation rule for internal direct product decompositions of a connected partially ordered set
In this note we deal with two-factor internal direct product decompositions of a connected partially ordered set.
Canonical extensions of Stone and double Stone algebras: the natural way