Publication Date:
2021-04-21
Description:
We 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.
Print ISSN:
0933-5846
Electronic ISSN:
1432-0665
Topics:
Mathematics
Permalink