Page 1 Next

Displaying 1 – 20 of 947

Showing per page

𝒵 -distributive function lattices

Marcel Erné (2013)

Mathematica Bohemica

It is known that for a nonempty topological space X and a nonsingleton complete lattice Y endowed with the Scott topology, the partially ordered set [ X , Y ] of all continuous functions from X into Y is a continuous lattice if and only if both Y and the open set lattice 𝒪 X are continuous lattices. This result extends to certain classes of 𝒵 -distributive lattices, where 𝒵 is a subset system replacing the system 𝒟 of all directed subsets (for which the 𝒟 -distributive complete lattices are just the continuous...

2-normalization of lattices

Ivan Chajda, W. Cheng, S. L. Wismath (2008)

Czechoslovak Mathematical Journal

Let τ be a type of algebras. A valuation of terms of type τ is a function v assigning to each term t of type τ a value v ( t ) 0 . For k 1 , an identity s t of type τ is said to be k -normal (with respect to valuation v ) if either s = t or both s and t have value k . Taking k = 1 with respect to the usual depth valuation of terms gives the well-known property of normality of identities. A variety is called k -normal (with respect to the valuation v ) if all its identities are k -normal. For any variety V , there is a least...

A categorical view at generalized concept lattices

Stanislav Krajči (2007)


We continue in the direction of the ideas from the Zhang’s paper [Z] about a relationship between Chu spaces and Formal Concept Analysis. We modify this categorical point of view at a classical concept lattice to a generalized concept lattice (in the sense of Krajči [K1]): We define generalized Chu spaces and show that they together with (a special type of) their morphisms form a category. Moreover we define corresponding modifications of the image / inverse image operator and show their commutativity...

A characterization of complete atomic Boolean algebra.

Francesc Esteva (1977)


In this note we give a characterization of complete atomic Boolean algebras by means of complete atomic lattices. We find that unicity of the representation of the maximum as union of atoms and Lambda-infinite distributivity law are necessary and sufficient conditions for the lattice to be a complete atomic Boolean algebra.

A decomposition of homomorphic images of nearlattices

Ivan Chajda, Miroslav Kolařík (2006)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

By a nearlattice is meant a join-semilattice where every principal filter is a lattice with respect to the induced order. The aim of our paper is to show for which nearlattice 𝒮 and its element c the mapping ϕ c ( x ) = x c , x p c is a (surjective, injective) homomorphism of 𝒮 into [ c ) × ( c ] .

A duality for isotropic median algebras

Miroslav Ploščica (1992)

Commentationes Mathematicae Universitatis Carolinae

We establish categorical dualities between varieties of isotropic median algebras and suitable categories of operational and relational topological structures. We follow a general duality theory of B.A. Davey and H. Werner. The duality results are used to describe free isotropic median algebras. If the number of free generators is less than five, the description is detailed.

A finite word poset.

Erdős, Péter L., Sziklai, Péter, Torney, David C. (2001)

The Electronic Journal of Combinatorics [electronic only]

Currently displaying 1 – 20 of 947

Page 1 Next