جبر مجرد و نظریه رده‌ها (Category Theory)