1: \begin{abstract}

2: \normalsize

3: We observe that convergence can be defined by a well-known simplicial construction which also defines homotopical triviality, %``contractible''.

4: %|

5: %We observe that convergence and homotopy triviality %null-homotopy %contractability 

6: %are both instances of the same simplicial definition using the simplicial path space, 

7: %], 

8: in an appropriate simplicial category of generalised topological spaces,

9: and also spell out how to obtain this observation by transcribing into simplicial language the Bourbaki definition of 

10: a limit point of a filter on a topological space. 

11: %In particular, both compactness and completeness can be expressed 

12: %by saying that all maps from certain classes of objects are contractible.

13: In particular, a metric space is complete iff all maps from 0-coskeletons to the associated generalised topological space are 

14: homotopically trivial. %contractible.

15: % and complete can be expressed by saying that all maps from 0-skeletons, resp.~0-coskeletons, 

16: %are contractible.

17: 

18: 

19: \end{abstract}

20: