{"id":"arxiv/2608.16777","url":"https://arxiv.org/abs/2608.16777","tags":["math.CT","cs.DM"],"score":0,"title":"Arrow Operations in Categories of Lattice-valued Relations","domain":"math.CT","source":"arxiv","authors":["Fatemeh Jowkar","Michael Winter"],"reviews":0,"subject":"math.CT","summary":"Arrow allegories provide a convenient abstract framework to work with lattice-valued relations, or more precisely, relations that use the elements of a given Heyting algebra as truth values. One characteristic of arrow allegories is that all relations of the given arrow allegory use the same Heyting algebra ${\\mathcal H}$. In this paper we want to extend this approach to allegories where relations between different objects may use different lattices of truth values and even further to relations that use a different lattice of truth values for every pair in the relation. Therefore, we define…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-17","reactions":{}}