Change of base for relational variable sets

Susan Niefield

Following Ghilardi and Meloni, a relational variable set on a
category B is a lax functor B to Rel, where Rel is the category of
sets and relations. Change-of-base functors and their adjoints are
considered for certain categories of relational variable sets and
applied to construct the simplification of a dynamic set (in the sense
of Stell).