𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Some aspects of topological descent

✍ Scribed by Manuela Sobral

Publisher
Springer
Year
1996
Tongue
English
Weight
419 KB
Volume
4
Category
Article
ISSN
0927-2852

No coin nor oath required. For personal study only.

✦ Synopsis

The paper deals with (effective) descent morphisms for subfibrations E(X) of the basic fibration Top~X, for topological spaces X and classes E of continuous functions stable under pullback. For a category with pullbacks, we prove the stability under pullback of effective Edescent morphisms for a class E satisfying some suitable conditions. This plays a r61e in relating effective E-descent to effective global descent and enables us to obtain a criterion for effective 6tale-descent. We also show that the inclusion of the class of effective global-descent maps in the class surjective effective 6tale-descent is strict.

πŸ“œ SIMILAR VOLUMES

Some Categorical Aspects of Fuzzy Topolo
Some Categorical Aspects of Fuzzy Topology
✍ Yingming Liu; Dexue Zhang; Maokang Luo πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 144 KB

Research in recent years has revealed that the construct of fuzzy topological spaces behaves quite differently from that of topological spaces with respect to certain categorical properties. In this paper we discuss some of these aspects. Since the topological construct L-FTS contains nontrivial bot

Topological aspects of numberings
Topological aspects of numberings
✍ Wolfram Menzel; Frank Stephan πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 330 KB

## Abstract We investigate connections between the syntactic and semantic distance of programs on an abstract, recursion theoretic level. For a certain rather restrictive notion of interdependency of the two kinds of distances, there remain only few and β€œunnatural” numberings allowing such close re

Topological aspects of information retri
Topological aspects of information retrieval
✍ Egghe, Leo ;Rousseau, Ronald πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 164 KB

Let (DS, DQ, sim) be a retrieval system consisting of a document space DS, a query space QS, and a function sim, expressing the similarity between a document and a query. Following D. M. Everett and S. C. Cater (1992), we introduce topologies on the document space. These topologies are generated by