Publication:5718572
From MaRDI portal
zbMath1097.03057MaRDI QIDQ5718572
Publication date: 16 January 2006
54B30: Categorical methods in general topology
06D22: Frames, locales
03F65: Other constructive mathematics
54D45: Local compactness, (sigma)-compactness
Related Items
Convergence in formal topology: a unifying notion, Topological inductive definitions, Exact approximations to Stone-Čech compactification