Categorical topology

Short description: Mathematical discipline

In mathematics, categorical topology is an approach to topology (theory of spaces) through the concepts and methods in category theory, a branch of mathematics dealing with abstract concepts. In more details,

"In order to handle problems of a topological nature, various attempts have been made in the past to introduce suitable concepts, e.g. topological spaces, uniform spaces, proximity spaces, limit spaces, uniform convergence spaces etc. Since this situation was unsatisfactory, new methods were needed to unify all these theories. Thus a new discipline - called Categorical Topology - was created (about 1971). It deals with the investigation of topological categories and their relationships to each other."

See also

• Category of topological spaces
• Topological functor

References

• Preuss, Gerhard (1988) (in en). Theory of Topological Structures. Springer Netherlands. doi:10.1007/978-94-009-2859-6. ISBN 978-94-010-7786-6. https://link.springer.com/book/10.1007/978-94-009-2859-6. 
• Chapter VI in Adámek, J.; Herrlich, H.; Strecker, G. E. (September 1991) (in en). Abstract and Concrete Categories The Joy of Cats. 23. pp. 500–502. doi:10.1112/blms/23.5.500. https://londmathsoc.onlinelibrary.wiley.com/doi/abs/10.1112/blms/23.5.500. , available at [1]
• https://www.researchgate.net/publication/265844500_Categorical_Topology

Further reading

• https://lsv.ens-paris-saclay.fr/~goubault/els.pdf