الفئة في الرياضيات،هي بنية جبرية تضم «أشكالًا» تربطها «أسهم». إن للفئة سمتين أساسيتين: القدرة على جمع الأسهم على نحو ترابطي ووجود سهم مماثل لكل شكل. يوجد من بين الأمثلة البسيطة فئة المجموعات، التي تكون الأشكال فيها عبارة عن مجموعات أما الأسهم فتكون عبارة عن دالات رياضية. من ناحيةٍ أخرى، يمكن فهم أي مونويد على أنه نوعٌ خاص من الفئة، وهكذا يكون أي تسلسل. وربما تكون الأشكال والأسهم بشكل عام وحدات مجردة من أي نوع، ويقدم مفهوم الفئة طريقة أساسية ومجردة لوصف الوحدات الرياضية وعلاقاتها.