1 paper
W. Dale Garraway
We show that for a Heyting algebra H, a relational-presheaf is an idempotent symmetric order-preserving lax-semifunctor. A relational-presheaf is a relational-sheaf, if it…