1: \begin{abstract} We consider simplicial sets equipped with a notion of smallness,

2: and observe that this slight ``topological'' extension of the ``algebraic'' simplicial language

3: allows a concise reformulation of a number of classical notions in topology,

4: e.g.~continuity, limit of a map or a sequence along a filter, various notions of equicontinuity and

5: uniform convergence of a sequence of functions; completeness and compactness; 

6: in algebraic topology, locally trivial bundles as a direct product after base-change

7: and geometric realisation as a space of discontinuous paths.

8: 

9: 

10: In model theory, we observe that indiscernible sequences in a model form a simplicial set  with a notion of smallness 

11: which can be seen as an analogue of the Stone space of types.

12: 

13: 

14: 

15: These reformulations are presented as a series of exercises, to emphasise their elementary nature and

16: that they indeed can be used as exercises to make a student

17: familiar with computations in basic  simplicial and topological language. 

18: (Formally, we consider the category of simplicial objects in the category of filters in the sense of Bourbaki.)

19: 

20: This work is unfinished and is likely to remain such for a while, hence we release it as is,

21: in the small hope that our reformulations may provide interesting examples

22: of computations in basic  simplicial and topological language 

23: on material familiar to a student in 

24: in a first course of topology or category theory. 

25: %

26: %\vskip2.39pt

27: %These notes are intended as an invitation to the topic, and are released in the hope of generating further activity on the subject.

28: \end{abstract}

29: