Change of base for relational variable sets

Theory and Applications of Categories

Volumn 12, Issue 1, 2004, Pages 248-261

  Niefield, Susan ^a  

^a UNION COLLEGE   (United States)

Author keywords

Change of base; Dynamic set; Exponentiable; Relational presheaf; Relational variable set; Specification structure

Indexed keywords

EID: 18544377474     PISSN: 1201561X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (12)

1. S. Abramsky, S. Gay, and R. Nagarajan, Specification structures and propositions-as-types for concurrency, Logics for Concurrency - Structure versus Automata (8th Banff Higher Order Workshop, August 27 - September 3, 1995, Proceedings), Springer Lecture Notes in Computer Science 1043 (1996) 5-40.
2. Bénabou, Introduction to bicategories, Reports of the Midwest Category Theory Seminar, Springer Lecture Notes in Math. 47 (1967) 1-77
3. F. Conduché, Au sujet de l'existence d'adjoints à droite aux foncteurs "image réciproque" dans la catégorie des catégories, C. R. Acad. Sci. Paris 275 (1972) A891-894.
4. S. Ghilardi and G. Meloni, Relational and topological semantics for temporal and modal predicative logic, Atti del congresso 'Nuovi problemi della logica e della scienza' Viareggio, Gennaio 1990 vol. II - Logica, CLUEB Bologna (1991) 59-77.
5. S. Ghilardi and G. Meloni, Relational and partial variable sets and basic predicate logic, J. Symbolic Logic 61 (1996) 843-872.
6. J. Giraud, Méthode de la déscente, Bull. Math. Soc. France, Mémoire 2 (1964).
7. G. M. Kelly and R. Street, Review of the elements of 2-categories, Category Seminar, Sydney 1972/73, Springer Lecture Notes in Math. 420 (1974) 75-103.
8. K. R. Rosenthal, The Theory of Quantaloids, Addison Wesley Longman, 1996.
9. S. B. Niefield, Cartesianness topological spaces, uniform spaces, and affine schemes, J. Pure Appl. Alg. 23 (1982) 147-167.
10. S. B. Niefield, Exponentiable morphisms: posets, spaces, locales, and Grothendieck toposes, Theory and Applications of Categories 8 (2001) 16-32.
11. J. G. Stell, Granularity in change over time, in: Duckham, M., Goodchild, M., and Worboys, M. Foundations of Geographic Information Science, Taylor and Francis (2003) 95-115.
12. R. Street, Powerful functors, expository note, September 2001.