A shrinking of a category of societies is a universal partly ordered class Luděk Kučera (1971) Commentationes Mathematicae Universitatis Carolinae Similarity: