“Constructive uniform spaces”
Mercoledì 27 Marzo 2024, ore 16:30 - Aula 2AB40 - Hajime Ishihara (Toho University, Japan)
Abstract
We give a definition of a uniform space with the spirit of Sambin’s notion of a basic pair, and construct a completion of a uniform space and a product of uniform spaces. Then we show some natural properties of the completion and the product.
