Voir la notice de l'article provenant de la source Theory and Applications of Categories website
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).
@article{TAC_2004_12_a6, author = {Susan Niefield}, title = {Change of base for relational variable sets}, journal = {Theory and applications of categories}, pages = {248--261}, publisher = {mathdoc}, volume = {12}, year = {2004}, language = {en}, url = {http://geodesic.mathdoc.fr/item/TAC_2004_12_a6/} }
Susan Niefield. Change of base for relational variable sets. Theory and applications of categories, Tome 12 (2004), pp. 248-261. http://geodesic.mathdoc.fr/item/TAC_2004_12_a6/