filtered category in nLab

filter4d[intransitive] + adv.prep. (of people) to move slowly in a particular directionThe doors opened and people started filtering through. [intransitive] + adv.prep. (of information, news, etc.) to slowlyYou may be familiar with us, but have you ever found yourself saying ''actually, what is Filtered?''... Marc is here to fill in all the gaps.