Arrow Operations in Categories of Lattice-valued Relations

Fatemeh Jowkar, Michael Winter

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 tru…