Found in articles
Eilenberg-Mac Lane first observed, 'category' has been defined in order to be able to define 'functor' and 'functor' has been defined in order to be able
تابعگون
در ریاضیات و به ویژه در نظریه رستهها، منظور از یک تابعگون (به انگلیسی: functor)، یک نگاشت میان دو رسته میباشد که دارای این ویژگی است که اشیاء و مورفیزم
ضرب (نظریه رستهها)
2015. Retrieved 14 February 2021. Barr, Michael; Charles Wells (1999). Category Theory for Computing Science (PDF). Les Publications CRM Montreal (publication
رسته (ریاضیات)
n-categories Bicategory (pseudofunctor) Tricategory Tetracategory Kan complex ∞-groupoid ∞-topos Strict n-categories 2-category (2-functor) 3-category
n-categories Bicategory (pseudofunctor) Tricategory Tetracategory Kan complex ∞-groupoid ∞-topos Strict n-categories 2-category (2-functor) 3-category