Factorizing the $$\mathbf {Top}$$–$$\mathbf {Loc}$$ adjunction through positive topologies
AbstractWe characterize the category of Sambin’s positive topologies as the result of the Grothendieck construction applied to a doctrine over the category Loc of locales. We then construct an adjunction between the category of positive topologies and that of topological spaces Top, and show that the well-known adjunction between Top and Loc factors through the constructed adjunction.
2018 ◽
Vol 15
(3)
◽
pp. 309-312
◽
Keyword(s):
2020 ◽
Vol 9
(5)
◽
pp. 2573-2582
2020 ◽
Vol 9
(11)
◽
pp. 9733-9738
Keyword(s):
2020 ◽
Vol 9
(7)
◽
pp. 5251-5255
2020 ◽
Vol 9
(4)
◽
pp. 2185-2190