Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Tosun, Ayberk"'
Stone locales together with continuous maps form a coreflective subcategory of spectral locales and perfect maps. A proof in the internal language of an elementary topos was previously given by the second-named author. This proof can be easily transl
Externí odkaz:
http://arxiv.org/abs/2402.03134
Autor:
Tosun, Ayberk, Escardó, Martín Hötzel
Publikováno v:
Electronic Notes in Theoretical Informatics and Computer Science, Volume 1 - Proceedings of MFPS XXXVIII (February 22, 2023) entics:10808
Stone locales together with continuous maps form a coreflective subcategory of spectral locales and perfect maps. A proof in the internal language of an elementary topos was previously given by the second-named author. This proof can be easily transl
Externí odkaz:
http://arxiv.org/abs/2301.04728