A latarre is a lattice with an arrow. Its axiomatization looks natural. Latarres have a nontrivial theory which permits many constructions of latarres. Latarres appear as an end result of a series of ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results