Mostowski's collapsing function and the closed unbounded filter K. Barwise (1974) Fundamenta Mathematicae
Multilinearity of sketches. Benson, David B. (1997) Theory and Applications of Categories [electronic only]