نظریهٔ دسته‌ها و جبر مجرّد