Towards higher topology

DOI10.1016/j.jpaa.2021.106838zbMath1470.18014arXiv2009.14145OpenAlexW3196733042MaRDI QIDQ2229960

Ivan Di Liberti

Publication date: 17 September 2021

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2009.14145

Mathematics Subject Classification ID

Topological spaces and generalizations (closure spaces, etc.) (54A05) Categorical logic, topoi (03G30) Categorical methods in general topology (54B30) Grothendieck topologies and Grothendieck topoi (18F10) Categories of topological spaces and continuous mappings (18F60) Frames and locales, pointfree topology, Stone duality (18F70)

Related Items

General facts on the Scott adjunction

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Ionads
• Abstract elementary classes and accessible categories
• Gattungen von lokalen Strukturen
• Limits of small functors
• Sheaves in geometry and logic: a first introduction to topos theory
• How nice are free completions of categories?
• CLASSIFICATION THEORY FOR ACCESSIBLE CATEGORIES
• Accessible Categories: The Foundations of Categorical Model Theory
• AN ABSTRACT ELEMENTARY CLASS NONAXIOMATIZABLE IN
• Theories of presheaf type
• Atomless Parts of Spaces.