هندسه هم‌تافته و نظریه دسته‌ها