Categorical shape theory and the back and forth property
scientific article; zbMATH DE number 3611530