الفيزياء النظرية, رياضيات, علوم الحاسوب, نظرية الفئاتالفئات المغلقة المضغوطة (Compact Closed Categories)