Change of base for relational variable sets
Theory and applications of categories, Tome 12 (2004), pp. 248-261
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).
Classification :
18A40, 08A02, 18F20, 18A22
Keywords: relational variable set, specification structure, dynamic set, relational presheaf, change of base, exponentiable
Keywords: relational variable set, specification structure, dynamic set, relational presheaf, change of base, exponentiable
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/
@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},
year = {2004},
volume = {12},
language = {en},
url = {http://geodesic.mathdoc.fr/item/TAC_2004_12_a6/}
}