Topologies and free constructions

Logic and Logical Philosophy 22 (3):327-346 (2013)

The standard presentation of topological spaces relies heavily on (naïve) set theory: a topology consists of a set of subsets of a set (of points). And many of the high-level tools of set theory are required to achieve just the basic results about topological spaces. Concentrating on the mathematical structures, category theory offers the possibility to look synthetically at the structure of continuous transformations between topological spaces addressing specifically how the fundamental notions of point and open come about. As a byproduct of this, one may look at the different approaches to topology from an external perspective and compare them in a unified way. Technically, the category of sober topological spaces can be seen as consisting of (co)algebraic structures in the exact completion of the elementary category of sets and relations. Moreover, the same abstract construction of taking the exact completion, when applied to the category of topological spaces and continuous functions produces an extension of it which is cartesian closed. In other words, there is one general mathematical construction that, when applied to a very elementary category, generates the category of topological spaces and continuous functions, and when applied to that category produces a very suitable category where to deal with all sorts functions spaces. Yet, via such free constructions it is possible to give a new meaning to Marshall Stone’s dictum: “always topologize” as the category of sets and relations is the most natural way to give structure to logic and the category of topological spaces and continuous functions is obtained from it by a good mix of free – i.e. syntactic – constructions
Keywords topological spaces
Categories (categorize this paper)
DOI 10.12775/LLP.2013.015
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 41,507
Through your library

References found in this work BETA

On the Interpretation of Intuitionistic Number Theory.S. C. Kleene - 1945 - Journal of Symbolic Logic 10 (4):109-124.
Colimit Completions and the Effective Topos.Edmund Robinson & Giuseppe Rosolini - 1990 - Journal of Symbolic Logic 55 (2):678-699.
Completions, Comonoids, and Topological Spaces.Anna Bucalo & Giuseppe Rosolini - 2006 - Annals of Pure and Applied Logic 137 (1):104-125.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Almost Free Groups and Long Ehrenfeucht–Fraı̈ssé Games.Pauli Väisänen - 2003 - Annals of Pure and Applied Logic 123 (1-3):101-134.
U-Monad Topologies of Hyperfinite Time Lines.Renling Jin - 1992 - Journal of Symbolic Logic 57 (2):534-539.
A Formal Treatment of the Causative Constructions in Chinese.Chongli Zou & Nianxi Xia - 2008 - Frontiers of Philosophy in China 3 (2):307-316.
Free Ordered Algebraic Structures Towards Proof Theory.Andreja Prijatelj - 2001 - Journal of Symbolic Logic 66 (2):597-608.
Exceptive Constructions.Kai Von Fintel - 1993 - Natural Language Semantics 1 (2):123-148.
Compactness in Locales and in Formal Topology.Steven Vickers - 2006 - Annals of Pure and Applied Logic 137 (1):413-438.


Added to PP index

Total views
26 ( #318,014 of 2,248,762 )

Recent downloads (6 months)
17 ( #47,398 of 2,248,762 )

How can I increase my downloads?


My notes

Sign in to use this feature