Change of Base for Relational Variable Sets
Susan B. Niefield · Theory and applications of categories · 2004
Following [5], a relational variable set on a category B is a lax functor B → 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 [11]).