We clarify in which precise sense the theory of principal bundles and the theory of groupoids are equivalent; and how this equivalence of theories, in the differentiable case, reflects itself in the theory of connections. The method used is that of synthetic differential geometry.
En 1967 E. Trillas introdujo la noción de espacio métrico generalizado, al considerar métricas abstractas valoradas en semigrupos ordenados, unificando con este punto de vista algebraico-reticular las estructuras métricas reales de M. Fréchet ([5]) y los espacios métricos probabilísticos de K. Menger ([6]) (así como los espacios Booleanos de Blumenthal ([4]) y las métricas naturales definidas en grupos ordenados). En el presente artículo se abordan los problemas de la topología del orden, del producto,...