Model-theoretic characterisations of convenience properties in topological categories
Cahiers de Topologie et Géométrie Différentielle Catégoriques (1992)
- Volume: 33, Issue: 4, page 315-330
- ISSN: 1245-530X
Access Full Article
top
How to cite
topVajner, Vaclav. "Model-theoretic characterisations of convenience properties in topological categories." Cahiers de Topologie et Géométrie Différentielle Catégoriques 33.4 (1992): 315-330. <http://eudml.org/doc/91509>.
@article{Vajner1992,
author = {Vajner, Vaclav},
journal = {Cahiers de Topologie et Géométrie Différentielle Catégoriques},
keywords = {topological theory on a category; category of complete lattices and supremum-preserving maps; cartesian closed categories; universally topological categories; topological quasitopoi},
language = {eng},
number = {4},
pages = {315-330},
publisher = {Dunod éditeur, publié avec le concours du CNRS},
title = {Model-theoretic characterisations of convenience properties in topological categories},
url = {http://eudml.org/doc/91509},
volume = {33},
year = {1992},
}
TY - JOUR
AU - Vajner, Vaclav
TI - Model-theoretic characterisations of convenience properties in topological categories
JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY - 1992
PB - Dunod éditeur, publié avec le concours du CNRS
VL - 33
IS - 4
SP - 315
EP - 330
LA - eng
KW - topological theory on a category; category of complete lattices and supremum-preserving maps; cartesian closed categories; universally topological categories; topological quasitopoi
UR - http://eudml.org/doc/91509
ER -
References
top- 1 J. Adámek, H. Herrlich and G.E. Strecker, "Least and largest initial completions", Comment. Math. Univ. Carolinae20 (1979), 43 - 77. Zbl0404.18005MR526147
- 2 J. Adámek and V. Koubek, "Cartesian closed functor-structured categories", Comment. Math. Univ. Carolinae21 (1980), 573 - 589. Zbl0437.18005MR590136
- 3 J. Adámek and H. Herrlich, "Cartesian closed categories, quasitopoi and topological universes ", in: Proceedings of the International Conference on Mathematical Foundations of Programming Semantics, Springer Lecture Notes in Computer Science239 (1985), 20 - 41. Zbl0597.18002MR874374
- 4 A. Grothendieck, "Catégories fibrées et descente", Séminaire de Géometrie Algébrique de l'Institut des Hautes Études Scientifiques, Paris, 1961.
- 5 H. Herrlich, "Cartesian closed topological categories", Math. Colloq. Univ. Cape Town9 (1974), 1 - 16. Zbl0318.18011MR460414
- 6 H. Herrlich, "Are there convenient subcategories of Top ?", Top. Appl.15 (1983), 263 - 274. Zbl0538.18004MR694546
- 7 H. Herrlich, "Universal topology", in: Proceedings of Conference on Categorical Topology (Toledo, Ohio, 1983), Helderman Verlag, Berlin (1984), 223 - 281. Zbl0548.18004MR785019
- 8 H. Herrlich and G.E. Strecker, "Cartesian closed topological hulls as injective hulls", Quaestiones Math.9 (1986), 263 - 280. Zbl0614.18003MR862302
- 9 E.G. Manes, "A pullback theorem for triples in a lattice fibering with applications ot algebra and analysis", Alg. Univ.2 (1972), 7 - 17. Zbl0281.46062MR311741
- 10 J. Menu and A. Pultr, "On categories determined by poset- and set-valued functors", Comment. Math. Univ. Carolinae15 (1974), 665 - 678. Zbl0331.18008MR371989
- 11 G. Richter, Kategorielle Algebra, Akademie Verlag, Berlin, 1979. Zbl0446.08001MR547354
- 12 O. Wyler, "On the categories of general topology and topological algebra", Archiv. Math.22 (1971), 7 - 17. Zbl0265.18008MR287563
- 13 O. Wyler, "Top categories and categorical topology", Gen. Top. Appl.1 (1971), 17 - 28. Zbl0215.51502MR282324
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.