b-equivalent multilattices
Two operators are constructed which make it possible to transform ternary relations into binary relations defined on binary relations and vice versa. A possible graphical representation of ternary relations is described.
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...
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.