latticekellot
Latticekellot is a term used in theoretical mathematics and computer science to denote a class of time-annotated lattices. The name combines lattice with kellot, a word meaning clocks in some languages, signaling the addition of a temporal dimension to the standard lattice structure.
In its most common informal formulation, a latticekellot consists of a finite lattice (L, ≤) together with
Variants differ on how strictly they couple time to lattice operations; some require K to be monotone
Origin and use: The term emerged in late 2010s and early 2020s in theoretical discussions about extending
Examples and applications: A simple example uses a boolean lattice with K mapping true/false to sets of
See also: lattice, distributive lattice, temporal logic, time-stamped data, poset.