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).

Keywords: relational variable set, specification structure, dynamic set, relational presheaf, change of base, exponentiable

2000 MSC: 18A40, 08A02, 18F20, 18A22

Theory and Applications of Categories, Vol. 12, 2004, No. 7, pp 248-261.

http://www.tac.mta.ca/tac/volumes/12/7/12-07.dvi
http://www.tac.mta.ca/tac/volumes/12/7/12-07.ps
http://www.tac.mta.ca/tac/volumes/12/7/12-07.pdf
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/12/7/12-07.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/12/7/12-07.ps

TAC Home