Category-theoretic limit related to topological limit?

Is there any connection between category-theoretic term ‘limit’ (=universal cone) over diagram, and topological term ‘limit point’ of a sequence, function, net…?

To be more precise, is there a category-theoretic setting of some non-trivial topological space such that these different concepts of term ‘limit’ somehow relate?

This question came to me after I saw ( ) a surprising fact that generalised metric spaces can be seen as categories enriched over preorder ([0,],).


The connection is well-known (in particular I’m claiming no originality; I don’t recall where I found this, though !): Let (X,O) be a topological space, F(X) the poset of filters on X with respect to inclusions, considered as a (small, thin) category in the usual way. Given xX and FF(X) let UX(x) denote the neighbourhood filter of x in (X,O) and Fx,F(X) the full subcategory of F(X) generated by {GF(X):FUX(x)G}, let E:Fx,FF(X) be the obvious (embedding) diagram, Δ the usual diagonal functor and λ:Δ(F)E the natural transformation where λ(G):FG is the inclusion for each GFx,F. It is not hard to see that F tends to x in (X,O) iff λ is a limit of E. Kind regards – Stephan F. Kroneck.

Source : Link , Question Author : Rafael Mrđen , Answer Author : bonnbaki

Leave a Comment