Publication:3820598
From MaRDI portal
zbMath0668.03028MaRDI QIDQ3820598
Publication date: 1989
Full work available at URL: http://www.numdam.org/item?id=CTGDC_1989__30_1_3_0
topological group; sublocales; closed subgroup; localic groupoids; localic groups; closed subgroup theorem; fibrewise topological group
03F65: Other constructive mathematics
22A99: Topological and differentiable algebraic systems
54A99: Generalities in topology
06D99: Distributive lattices
Related Items
Unnamed Item, The ``closed subgroup theorem for localic herds and pregroupoids, Proper maps of locales, Spreads and the symmetric topos, The Michael completion of a topos spread, Two notes on nuclei, Unnamed Item, Unnamed Item, Unnamed Item
Cites Work